Concorda-se com a análise dos conceitos de caso julgado material e formal que consta dos referidos arestos, à qual se adere, sem necessidade de aprofundar neste ponto a argumentação, bem como às soluções a que ali se chega.