What Comes First In Dynamic Semantics by David Beaver & David I. Beaver