Defined contracts