 [i]n a sense, the relations are divided into two kingdoms: the ordinary \([\alpha]\) modalities govern relations built with \(\bcup\), the window modalities \(\oubracket{.7em}{\alpha}\) govern the relations built with \(\bcap\), and the \(\bdash\) constructor acts as a bridge between the two realms: