Clarify this find first_b_in_a optimization