abjunction

not defined yet