Lex forall as a keyword.