The syntax of floating quantifiers by