 It is remarkable that nominals together with satisfaction operators allow us to express that two points are identical: If the nominals \(\mathtt{a}\) and \(\mathtt{b}\) refer to the points \(w\) and \(v\), then the formula \(\mathtt{@_a b}\) expresses that \(w\) and \(v\) are identical. The following line of reasoning shows why.