nontransgressively
not defined yet