The Computational Efficiency Thesis (CET) is supported by a quasi-inductive argument analogous to th...