Katabasis

by R.F. Kuang

You actually can’t prove modus ponens. But if we don’t have modus ponens, then we might as well be in the Stone Age, because modus ponens is the foundation for everything else . . .”