Celé toto vlákno je tak dobré, že jen náhodně zveřejňuji jeho části. Výborný příklad toho, proč jsou formální modely dobré. Pokud tvrdíte, že "svět je příliš složitý na modely", vlastně také používáte model, ale takový, který nelze vyvrátit.