...
Kielilausekkeiden järjestys todistukseen menee käytännössä niin, että kategorian 1 lauseke tulee ensimmäisenä ja kategorian 2 toisena. Sen jälkeisten lausekkeiden järjestystä vaihdellaan. Käytännössä voitaisiin toteuttaa siten, että kaikille koodistoon tallennettaville lausekkeilla asetettaisiin järjestys (joista kategorian 1 lausekkeilla on pienin numero ja suurenee kun mennään kategiraan kategoriaan 2 ja 3). Kuitenkin opiskeluoikeuden kälissä voisi järjestyksiä muuttaa etenkin noiden ylimääräisten ja avoimien lausekkeiden/direktiivien suhteen.
...