debt-satisfaction public under payment-amount 61 List Picture As a command %3 n0 debt-satisfaction n1 payment-amount n1->n0