# Pastebin SAE2ND1L
"The trivialization can be avoided if one disrupts these suppositions: rather than marking subterms not to be evaluated by means of an evaluation-suppressing context, mark subterms that are to be evaluated, by means of an evaluation-inducing context; and introduce different syntax for a cons-cell than for an application, so that evaluation becomes clearly separate from β-reduction. To illustrate the general method, here are a series of straightforward successive alterations to pure λ-calculus, each of which evidently preserves its equational strength, at the end of which sequence the result is a pure calculus, called vau-calculus."