Havendo sinal e o promitente fiel for o adquirente, caso não opte pela execução específica ou esta não seja já possível, assiste-lhe o direito de exigir o dobro do que prestou, ou tendo havido tradição da coisa objecto do contrato prometido, o respectivo valor objectivamente determinado ao tempo do não cumprimento, com dedução do preço convencionado, e a restituição do sinal e da parte do preço que tenha pago art 442, ns 1, 2, 2 parte, e n3, do Código.