Some basic interval logic