Proof methods