Example formatting
The same set of worked examples, rendered in each of the five presentation styles tested.
Promise
Level-k I
Level-k II