Alegaram, ainda, que existindo, como existiu no caso sinal e reforço de sinal, e não sendo o outorgante faltoso o promitente-comprador, se este não optar 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 caso, tenha havido tradição da coisa objeto do contrato definitivo prometido, o valor desta, objetivamente 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 3 do Código.