Cloud Contracts regulate the Relationship between User and Provider