done with easy cases... freeness issue in tbindh