Searching protocol for "custom format"
Formal verification for Move
Co-create stories, not just review them.