family-state isomorphism