Verifica-se, portanto, uma contradição resultante da existência de um vício lógico na construção da sentença, pois que, estando presente na factualidade provada uma penhora, é impossível que essa garantia não venha considerada da decisão de graduação, a não ser que "o processo lógico da decisão esteja errado" vide, Alberto Reis in CPC Anotado, reimpressão, Coimbra Editora, Vol.