dense into cloture + lex