 \([[\mbox{always}]]^g = \lambda p_{\langle s,t\rangle}. \lambda q_{\langle s,t\rangle}. \lambda s\). for every minimal situation \(s'\) such that \(s' \le s\) and \(p(s') = 1\), there is a situation \(s''\) such that \(s'' \le s\) and \(s''\) is a minimal situation such that \(s' \le s''\) and \(q(s'') = 1\) 