Added contract Exceptions