formalizáramos