Logic: Adds proofs for even__ev, and_assoc and proj2.