I thought I'd seen it all when I learnt how you could implement a conditional with function calls in lambda calculus (the point being you don't want to evaluate

I thought I'd seen it all when I learnt how you could implement a conditional with function calls in lambda calculus (the point being you don't want to evaluate the branch you're not taking). But TeX, of course, manages to take that to new heights.