十分に包括的な仕様は（必ずしも）コードではない

仕様は可能な実装の集合に対応し、コードはその集合内の単一の実装である。十分に詳細な仕様であっても、それはコードではなく、実装の抽象化として捉えるべきだ。仕様とコードを区別することで、両者の役割を明確に理解できる。