JC: added executed contract total to model. spec passes.