[deredede]

That makes sense and fits what I had in mind: there is no formalization at the source level. Thanks for the details!