concepts:
  - id: prior
    title: Prior
    prerequisites: []
  - id: posterior
    title: Posterior
    prerequisites: [prior]
  - id: model-checking
    title: Model Checking
    prerequisites: [posterior]