is mentioned by

Def R_permutation(E) == swap adjacent[True]	[R_permutation]
Def PTrue(tr) == True	[PTrue]

In prior sections: core mb list 1 bool 1 mb tree

Try larger context: GenAutomata