The result was still a purely syntactical specification of the logical truths, but only in this more liberal sense of 'syntactical it a couched a vocabulary consisting (in effect) of (a) names of signs, (b) an opera tor expressing concatenation of expressions, and hy way of auxiliary machinery, the whole logical (a mathematical) vocabulary itself.