@extra-boolean/imp (npm): Checks if antecedent ⇒ consequent (a ⇒ b).
Keywords: extra|boolean|algebra|logic|imp|and|count|eq|imply|is|nand|neq|nimply|nor|not|or|parse|select|xnor|xor