Initial set of contracts and implementations