The values of variables in dynamic semantics · Study