teacher-forcing public under procedure 398 List Picture As a command %3 n0 teacher-forcing n1 procedure n1->n0