2024. Equivalence of Proof Techniques. ASIA PACIFIC JOURNAL OF SOCIAL INNOVATION. 14, 2 (Apr. 2024), 81–86.