É, pois, a necessidade absoluta de julgamento da matéria de facto efectuada, no contencioso tributário, na própria sentença, que leva directamente à exigência da referida discriminação entre "a matéria provada da não provada" – cfr.