Sharedfinite models.pdfOpen in CoCalc
Analogue of beat-points for reducing digraphs.