   0: starts
   5: first finished -> a
   5: finishes
