> And sufficiently fulfilling a software requirement is like being mathematically correct if not actually correct. Absolutely. > But I fear you’re being over

> And sufficiently fulfilling a software requirement is like being mathematically correct if not actually correct. Absolutely. > But I fear you’re being over constrained by this specification. My larger point is it’s important, very, to not draw too many lines and wind up with a “polite party” of 0. I'm not sure I understand where we disagree. Or I'm missing what you are getting at with this paragraph, my apologies. I think contributions to mathematics should be open to anyone, everyone, and everything.