lie ( lex tion * k nior,