> А это по нижней прикидке порядка 15-17 тысяч букв, не считая цепочек if-then-else.

"В «Principia Mathematica» Бертран Рассел, и Альфред Уайтхед, опираясь на формальную логику, попытались дать четкое обоснование основ матема­тики. Они начали с того, что считалось аксиомами, и на основе этой аксиоматики доказывали теоремы все большей сложности. К странице 362 они уста­новили достаточно, чтобы доказать: «1 + 1 = 2»."(с)