Una especificación suficientemente detallada no es código