Uma especificação suficientemente detalhada não é código