Remove mutual block
Get rid of non-standard vacuous equality