próx [ ant 1 2 3 > ]