Ou seja, não se impunha, num raciocínio lógico, decisão diversa perante os factos dados como provados e tanto basta para que inexista fundamento de anulação por contradição entre os fundamentos e a decisão.