Now suppose in particular that we a bstract from existing usage of the locutions 'if then,' 'not' and the rest of our logical pritives, that for the time being these become meaningless marks, and theerst