research/10-verification/core-verification.md
