The same applies to any truths of mathematics which, contrary to the supposition of a moment ago, may resist definitional reduction to logic; such truths are to proceed from convention, without merely being reduced to antecedent truths, they must proceed from conventions other than definitions.