2A Revision of proof techniques