https://123dok.org/document/q7we082d-a-logic-for-hhp-bisimilarity.html