Added highest_post_order.