This chapter now lives inside the deep document:
Canonical form: the determinism problem