Write tests and validate the implementation - Proofs