Thus if in particular we take a as the class of all logical expressions,sions is accomplished by a single application of one definition, but also when is a complex expression whose elimination calls for successive application of many defimtions.