implicateness

not defined yet