Daqui decorre, por um lado, a necessidade de se eliminar da classe de factos não provados, a asserção ali constante, segundo a qual se deveria considerar não provado que os embargantes procederam ao cumprimento total da obrigação constante da condenação da sentença. Por outro lado, nem por isso se pode deslocar, para o rol dos factos provados, uma asserção simétrica, nos termos da qual se poderia ter por adquirido que os embargantes procederam ao cumprimento total da obrigação constante da condenação da sentença exequenda cfr. neste sentido, entre outros, o Ac. deste TRP de 9/3/2020, proc. n 3789/19T8VFR.P1, em dgsi.pt).