How a reductio ad absurdum works