 This is counter-intuitive. We know what the individual sentences in  (1)  mean and we would like to capture the potential these meanings have in combining with other meanings to form a meaningful whole, one which corresponds to a sequence of sentences. Dynamic semantics allows us to deliver a fully compositional analysis of meaning at the sentential and supra-sentential level. It does so by guaranteeing that in contrast to classical predicate logic,  (3)  and  (4) are equivalent in a dynamic interpretation of classical predicate logic syntax. In particular, the following is valid in dynamic predicate logic: