 Window is an extremely natural operator that complements the standard universal modality. Indeed, while formulas of the form \([\alpha]\varphi\) express that all executions of \(\alpha\) reach a \(\varphi\)-state,