Las pos condiciones describen las restricciones en el entorno y cualquier efecto secundario del método.