really slow slice isolation (need equivalence for this)