boundary-condition public under mathematical-statement 6 List Picture As a command %3 n0 boundary-condition n1 mathematical-statement n1->n0