E>
equiv="Con
 E>
-equiv="Con