Improve implicativity