A esta diferença que corresponde ao pagamento de tudo quanto contratado se cumprido, irá descontar-se, por via da condenação da Ré no pedido principal, o que corresponde ao que apuradamente o tribunal, além da controvérsia e da omissão das partes antes de recorrerem a tribunal, deu como provado ser o que não foi feito e medida essa condenação pelo custo pago a terceiro para fazer o que não foi feito.