Context:
There are two equivalence comparison expressions below. Both expressions are very similar. Both the left side and right side of all four arg