We saw earlier that if all expressions occurring essentially in true statement and not belonging to a class a re given definitions term, solely of memhers of a, then becomes a definitional a brev'iation of a truth involving only members of a essentially.