abrogations
not defined yet