is mentioned

In prior sections: core bool 1 prog 1 mb automata 1