Quantify free variables

Personal tools