 If so, and if logic is established by convention, then one would need a meta-meta-theory to establish the conventions for the use of the logical particles of the meta-theory, and so on for what seemed like an infinite regress of meta-theories. This is certainly an argument that ought to give the proponents of the conventionality of logic pause: for, indeed, how could one hope to set out the general conventions for “all” or “if…then…” without at some point using the notions of “all” and “if…then…” (“ALL instances of a universal quantification are to be true”. “IF p is one premise, and if p then q another, THEN conclude q”)? (See Warren, 2017, however, for a reply, exploiting the resources of implicit definition; cf. fns 9 and 16.)