note that you can't actually make them work, no matter what the contract says (see https://en.wikipedia.org/wiki/Specific_performance). (you can sue them for compensation though.)