This page will put together all the persons that might help Carlos Sousa finish his project of rewritting and improve Prover9.