formal equivalence