Глубоко ошибается тот,
Кто думает, что изделиями программистов являются программы, которые они пишут. Программист обязан создавать заслуживающие доверия
Решения и представлять их в форме убедительных доводов, а
Текст написанной программы является лишь сопроводительным материалом, к которому
Эти Доказательства применимы.