demand-deposit public under deposit 1 List Picture As a command %3 n0 demand-deposit n1 deposit n1->n0