Service Contracts are Iterative