equiS is different from equiv