Test case: an implementation of Leibniz equality.