In reply to Re^2: variable quantifiers? by Anonymous Monk in thread variable quantifiers? by FryingFinn