Когда мы занимаем позицию, что не только ответственность программиста за создание правильной программы, но и убедительно демонстрировать ее правильность, но приведенные выше замечания оказывают глубокое влияние на деятельность программиста: объект, который он должен создать полезно структурированный.