The meaning of a sentence is to change the information states of a subject in update semantics. Veltman characterized a modal word “might” of the possibility of cognitive with update semantics. The system of S5 is sound and complete with respect to update semantics Veltman presented. We characterize the sentences sequence of in the form of φ;ψ. The system of S5S is sound and complete with respect to update semantics.