$interval $interval $instant $instant $instant $instant $lower $upper $lower $upper