Given two orderings l and r, conform_to return l == r or l is equal.
Given two orderings l and r, conform_to return l == r or l is equal.