Methods of proof