reformalizábamos