A reductio ad absurdum