oops, both classes in a factsys must include all equivalences