metamathematics public under mathematics 79 List Picture As a command %3 n0 metamathematics n1 mathematics n1->n0