formal equivalency