una especificación suficientemente detallada no es código