easier-t0-reach binding