https://123dok.net/document/zgggw3vz-using-event-calculus-reason-problem-diagrams.html