DS::establish Contract ()