but not vice versa (we write i ⇒ ( ⇐) ii).
the truth value is preserved if we replace the argument of an upward-entailing operator by a superset (a more general version); in our case, the set 'opium use' was replaced by the superset 'narcotic use'.