equivalence rewritten, strictness