optional proofs