interval abstraction
interval subtraction