implicative

not defined yet