Direct proofs