Reductio ad absurdum by Jesse Russell