implication

not defined yet