Кроме того, это ошибка верить, что строгость является врагом простоты. Напротив, мы находим это подтвержденным многочисленными примерами, что строгий метод одновременно проще и легче понять. Сами усилия для строгости заставляют нас найти более простые методы доказательства.