References. Tricocycloids, Effect Monoids, and Effectuses (Kaddar, 2019), Sections 2.3, 2.4. Abstract Hypernormalisation, and Normalisation-by-Trace-Evaluation for Generative Systems (Garner, 2022) Tags: tricocycloid.
