equivalences: small changes from Mike N