JC: added name to contract model and require its presence. spec passes.