Binding Implicit Variables in Quantified Contexts · Study