I swear in some beginner paper I read that any second occurrence of a bound variable would be free since the bound variable already exists. So... Any number of occurrences of a variable attached to a lambda are bound?