Pos-Condicoes ^{(tudo aquilo que deve ser verdadeiro apos a execucao do caso de uso)}