Title
Abstract
Introduction
Value category
Central category
Process category
Tracing
Future work
Appendices
Syntax sugar
Implementation
Completeness proof
Partial trace
Bibliography