choice 1 Sections AutomataTheory Doc

Def AB == B < A

In prior sections: int 1 bool 1