This page has moved. Redirecting to https://docs.spec-kitty.ai/guides/how-to/governance/synthesize-doctrine.html.