(interval[-∞, 5] / interval[-∞, 5])