@steve78 pm 2 proofs