With validity intervals mentioned it'll also be nice to have LTL's "next" and "until" too.