. . "Finally, authorities are a kind of project that maintain the code necessary to verify conditions that must exist in order for the associated person to be able to cause the associated transition." . . .