Proof writting 2