Em face da inadmissibilidade da dedução de reconvenção na oposição à execução, a compensação não pode aqui ser invocada; para a compensação poder ser invocada teriam a existência do contracrédito e os requisitos substantivos da compensação que estar provados por documento com força executiva.” R - A expressão exigível judicialmente constante do artigo 847 do CCivil significa tão só que, não sendo cumprido voluntariamente, é passível de ser objecto de reconhecimento mediante acção judicial a ele tendente ou, se já estiver reconhecido por essa via ou por titulo executivo, mediante a correspondente execução.