This sort of indirect conformity to the theory of types, on the part of formulas written with a single style of variables, is a feature which I have called stratification; and it can be defined also directly, without any ap peal to a supposedly more fundamental notation involving distinctive styles of variables.