Equality of Ordered Tuples/Examples