579"O caso julgado da decisão também possui um valor enunciativo: essa eficácia de caso julgado exclui toda a situação contraditória ou incompatível com aquela que ficou definida na decisão transitada.