{
  "domain": "mathematics",
  "topics": [
    "combinatorics",
    "algebra",
    "formal-methods"
  ],
  "type": "proof",
  "also": [
    "construction"
  ],
  "structure": "subproblems",
  "verify": [
    "formal",
    "certificate"
  ],
  "cover": {
    "motif": "blocks"
  }
}