JC: more spec for model.
JC: allow negative total in sourcing part. spec passes.