new fortune

diff --git a/infobase/fortunes.dat b/infobase/fortunes.dat
index 24fb7bff22d93f0fe35e5d73fc82da03bd1c56c7..9cbdd243e065569db0b2e026d2d4e6cd00e633e3 100644 (file)
--- a/infobase/fortunes.dat
+++ b/infobase/fortunes.dat
@@ -46022,3 +46022,9 @@ signs you have a bad religion:
 - if it conflicts with your personal morals or ethics.
 
   -- fred t. hamster
+~
+Even perfect program verification can only establish that a program meets its
+specification. [...]  Much of the essence of building a program is in fact the
+debugging of the specification.
+  -- Fred Brooks, manager of the IBM System/360
+