Find!
x1 (text) scopes over x2 (text)
Mostly used to discuss logical scoping of quantifiers, variables, and such