is mentioned

In prior sections: core bool 1 graph 1 2 graph 1 3