Interval expansion

Summary