is mentioned by

Def t.trans == 2of(2of(2of(t)))	[sm_trans]
Def t.init == 1of(2of(2of(t)))	[sm_init]
Def t.ds == 1of(2of(t))	[sm_ds]

In prior sections: core mb list 1 prog 1 mb record

Try larger context: GenAutomata