chase_in_lex‘s Following are private.