connectives

not defined yet