imp. But only if it imperatively imports the implication operator.