https://www.bookofthrees.com/reductio-ad-absurdum/