https://123dok.net/document/oz1dn68z-local-distributed-decision-and-verification.html