https://5dok.net/document/8ydrlkgz-a-logic-for-model-checking-mean-field-models.html