Merging without mystery or: Variables in dynamics semantics · Study