Depois, mesmo que se considerassem dispensáveis os requisitos de exequibilidade, como parte significativa da doutrina defende, o facto constitutivo do contracrédito do Executado não se mostradocumentalmente provado. Apenas se mostra documentalmente provada a declaração de querer compensar art. 848 do Código feita fora do processo.