proofs_and_solutions