Added some contracts