Proofs (part 2)