implications

not defined yet