Free variables and bound variables - Search