Section 13 of The Specific Relief Act, 1877 implies that if a part of the contract's subject matter ceases to exist, then: