f : rrt !Onb 1 Rdr 2-1 tz.