conjunction

not defined yet