isa subsets should be sets, needs parts for vm