Mainframe
Reductio ad absurdum.