 This definition was first introduced by Hans Kamp in his pioneering paper Kamp 1981. Informally, it says that any assignment \(\beta\) that has incorporated the update contributed by \(\phi\) is guaranteed to support/satisfy \(\psi\).