A sufficiently detailed spec is code