Miller proofs