Actually "fix" bigBigEquiv