-It's possible to build a logical system equally powerful as the lambda calculus (and readily intertranslatable with it) using just combinators, considered as atomic operations. Such a language doesn't have any variables in it: not just no free variables, but no variables at all.
+It's possible to build a logical system equally powerful as the lambda calculus
+(and readily intertranslatable with it) using just combinators, considered as
+atomic operations. Such a language doesn't have any variables in it: not just
+no free variables, but no variables (or "bound positions") at all.