another way to specify implication