Variables

The variables are introduced by the Vars keyword followed by a list of variables names which should be disjoint from the symbol names.