What I find most admirable is not the complete fileting, but the humble acceptance of error on something that proof author had obviously put much effort into. It sucks to hear that something you've worked hard on is fundamentally flawed, especially on such public display