隐含操作

implication operation