PROOFS OPTIES