Ou, como vem considerando o Supremo Tribunal de Justiça, só existe tal insuficiência quando se faz a "formulação incorreta de um juízo” em que "a conclusão extravasa 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”.»5  A contradição insanável da fundamentação ou entre os fundamentos e a decisão ocorre quando se deteta «incompatibilidade, não ultrapassável através da própria decisão recorrida, entre os factos provados, entre estes e os não provados ou entre a fundamentação probatória e a decisão.