subjunction

not defined yet