The Logic and Utility of Mathematics, with the Bes