It went on the good track, but failed to generalize that ≹ is what apply among all these terms.