Assinalam ainda os mesmos autores, citando o que de modo impressivo se escreveu no acórdão do STJ de 13-01-1999 Processo n. 1126/98), que a insuficiência para a decisão da matéria de facto provada só existe quando se faz a «formulação incorreta de um juízo» em que a «conclusãoextravasa as premissas» ou quando há «omissão de pronúncia, pelo tribunal, sobre factos alegados ou resultantes da discussão da causa que sejam relevantes para a decisão, ou seja, a que decorre da circunstância de o tribunal não ter dado como provados ou como não provados todos os factos que, sendo relevantes para a decisão, tenham sido alegados pela acusação e pela defesa ou resultado da discussão».