obj strictly decreasing; rename r->rx, rt->ry