Add contracts example