Dominic: introduce empty interval