“Logic issues in tautologies, mathematics in identities, philosophy in definitions; all trivial, but all part of the vital work of clarifying and organising our thought.”