Punting on the pre-semantics example.