A OMEGA expression that evaluates to itself