Equality and ordering.