You give me a male Area K on Recursion (doesn't necessarily have to be full purity), and I give you one on Syntax.
Syntax.Omega0Recursion.Omega02