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