the abstract lex-modal fracture theorem