Precondiciones y pos condiciones