Dispensamo-nos de voltar a reproduzir aqui as decisões jurisprudenciais que aceitam, maioritariamente, que o pressuposto da execução específica do contrato-promessa é a existência de mora e não o incumprimento definitivo e às quais o Tribunal "a quo” faz exemplar referência.