conjunctively

not defined yet