Apps by Reductio Ad Absurdum