lots of progress on lex modalities