https://thebfd.co.nz/2021/02/28/reductio-ad-absurdum/