Contract theory

TBD