> Basically I preferred solutions that avoided W, since you're then working in a subset of the language that is definitely terminating and affine. Ah, that mak

> Basically I preferred solutions that avoided W, since you're then working in a subset of the language that is definitely terminating and affine. Ah, that makes a lot of sense. I mostly just thought my version was the obvious one - my first thought of how to do nothing was to duplicate something and then drop one of the dupes. I have very little grounding in lambda calculus, though, and generally find the other combinators harder to reason about.