根据换质法推理规则，结论的谓项应是前提谓项的矛盾概念，即sEP换质后应为( )。