stages:
- id: stage-1
title: Applied Inference
concepts:
- model-checking
checkpoint:
- critique a simple model