https://www.dict.cc/german-english/Reductio+ad+absurdum.html