13.02 ~ Interval Inversion Rules