shrunk the dynamic semantics