almost completed 3 proof techniques