Referenced by:

• ucb-metamathematics-b-01