Category:Augmented intervals