free variables