Been there, done that, lived with the mistake. Would all the stress, emotion and distraction of pushing further be worth it in the end? I'd just call it a learn

Been there, done that, lived with the mistake. Would all the stress, emotion and distraction of pushing further be worth it in the end? I'd just call it a learning experience (and a loss), toss the whole thing into history and move on with more interesting things.