 In the above examples  (27)  and  (28),  the material from the when-clause is placed in the Restrictor, and the material from the main clause is placed in the Scope. There are two free variables in the Restrictor, namely m and n, and so both are bound by the adverb of quantification “always”, which is naturally understood as a universal quantifier.