E<> ((node0.I) and (node1.I) and (node2.I) and (node3.I)) E<> tp > 1 E<> ((node0.I) and (node1.I) and (node2.I) and (node3.I)) E<> tp > 1