refl for 'free'