few more contract assumes