working proofs