the union of two families of modalities
the abstract lex-modal fracture theorem