É que a circunstância de aquela deliberação especificar todas as punições disciplinares aplicadas à requerente não permite inferir que aí se pressupôs a eficácia de todas elas, tanto mais que houve sempre o cuidado de distinguir entre as que já haviam sido cumpridas e as que tinham sido objecto de impugnação judicial ainda pendente.