Has free variable