This is just the subset of variables that do not appear in V. It should be used whenever a new bound variable is needed.