implicativeness

not defined yet