Contract instantiation