well, for one thing, specs can be misunderstood or mistaken or their translations may have unintentional side effects, and you can't tell sometimes what the overall effect of a system would be at scale or in edge cases. in many non-trivial instances you can't get 1:1 parity in the translation,