some cases for reduceEquiv