Name the three advanced proof techniques introduced in AHL content (AHL 1.15).