IIRC, this step of abstracting the identifiers doesn't occur in the paper (because the arrows carry around names). Do you want me to contrast this approach and the paper then?