https://123dok.net/document/dy4ep8vq-a-simple-account-of-multi-agent-epistemic-planning.html