Een bordje "no hats allowed" en het is klaar. Is dit flauw? Ach, ik moet het ze nog beter zien doen. Het is namelijk inderdaad waar dat "patch en pray" hetzelfde is als dweilen met de kraan open. En daarom uiterst lucratief voor de beveiligingsindustrie, die er een heel mythos met hoedjesdragende cyberboemannen ("hackers", die "hacken", zoals de smurfen zo smurfig smurfen) omheen gesponnen heeft om zoveel mogelijk te verbergen dat de nieuwe kleding van de keizer nog steeds vol zit met gaten. Deze dame heeft dus door dat we dweilen met de kraan open. Joepie, werd tijd zeg. Ze is alleen vergeten dat dit "model checking"-vehikel een strikt moeilijker probleem is dan NP-complete problemen. Iedereen die tenminste een introductiecursus algorithmen gevolgd heeft weet nu dat dit nog wel even geen magische eindoplossing zal opleveren. Waarmee niet gezegd is dat er niets is wat je kan doen. Softwareproblemen stoelen eigenlijk altijd op aannames die onterecht blijken te zijn. "Er zal nooit meer data in deze buffer ...