&gt; In any complex software project, there&#x27;s always a difference between the contract described by the system&#x27;s specification and the contract described by the software as implemented.<p>That&#x27;s exactly the reason why source itself is better than implementation documentation - because it is always &quot;current&quot;.