strong-typing public under type-system 6 List Picture As a command %3 n0 strong-typing n1 type-system n1->n0