Standard methods of proof — conversion, ecthesis, and reductio ad absurdum — can transform non-perfe...