SliceGuarantor: checkWhole