To say that an R-expression is free in LS, for example, is to say that it is not co-referential with an argument which c-commands it - i.e., it is not bound.- Hale (2004), a pag.103