Any sufficiently detailed specification converges on code.