Tagged formal-segmentation