MixedNuts comments on How To Have Things Correctly