Ever since I started this blog, I’ve had in mind to devote a post to the relationship between the strong theory of vau-calculus and the no-go theorem of Mitchell Wand’s 1998 paper The Theory of Fexprs is Trivial.

Not super invested in use case, but this is a nice demonstration of circumventing a no-go theorem and operational semantics.