However, since model normalisation is not the primary focus of this approach
we will not provide a formal description of the normalisation algorithm, although
such an algorithm was implemented in the quantitative analysis prototype described
in Sect. 10.5.