Следствие 3.

Крупный ученый-программист никогда не пишет правильные программы.