Slightly less trivial equivalence test