procedure allbal(c,s) s ? suspend arb() & ("" ~== tab(bal(c))) end