Ao juiz é conferida liberdade na escolha e na valoração das provas, mas esta liberdade é controlada ou controlável, é uma discricionariedade vinculada, que assenta num modelo racionalizado e a garantia de racionalidade concretiza-se na fundamentação da decisão de facto que cumpre precisamente a "função de controlo daquela discricionariedade, obrigando o juiz a justificar as suas próprias escolhas”.