Computers demand formal precision, which is different from conceptual clarity. Every obfuscator (including optimizers) relies on this fact. Good code has both

Computers demand formal precision, which is different from conceptual clarity. Every obfuscator (including optimizers) relies on this fact. Good code has both formal precision and conceptual clarity.