Got first_gt-ins simplifying properly, even with the overexpanded version of first_gt, sorted-ins is looping now though.