label-based slicing