https://9lib.org/document/1y9g01dq-program-verifications-object-interdependencies-and-object-types.html