>>>>> "Jefsey" == Jefsey Morfin <jefsey@xxxxxxxxx> writes: Jefsey> At 03:19 18/02/2006, Sam Hartman wrote: >> I think we disagree significantly on the level of formality >> needed here. Jefsey> yes. But I know future will turn me right Jefsey> unfortunately. You cannot fight disruption without Jefsey> formality. This is precisely what the IAB said. No that's not quite what the IAB said. The IAB said that we need to have clear and public documentation of what we're doing. So people need to know what the rules are and need to know how to appeal decisions and how to disagree with rules. That doesn't require the level of formality you're asking for. Jefsey> Do you Jefsey> treat computer security informally? Yes, often. Formal methods are excellent tools for some problems. Other times though they are way over kill. --Sam _______________________________________________ Ietf@xxxxxxxx https://www1.ietf.org/mailman/listinfo/ietf