Specific Performance of Contracts: A Case Study