is mentioned

In prior sections: core fun 1 rel 1 num thy 1