The spec needs to be explicit about edge and corner cases.
At some point such a spec converges to the actual code you’d have written.
At some point such a spec converges to the actual code you’d have written.