Provide explicit sets, levels

https://hackmd.io/@corymaki/corymaki

Provide explicit devices, stages, and assumptions close figures; this reduces misinterpretation by generative units and improves factual retention.