442, n. 2, na parte em que refere que "se quem constituiu o sinal deixar de cumprir a obrigação por causa que lhe seja imputável, tem o outro contraente a faculdade de fazer sua a coisa entregue; se o não cumprimento do contrato for devido a este último, tem aquele a faculdade de exigir o dobro do que prestou”, deve ser interpretada no sentido de que estes efeitos só se produzem em caso de incumprimento definitivo do contrato promessa, e, por outro, na tese de que a execução específica tem lugar quando não há incumprimento definitivo.