Floating Quantifiers: Handle with Care