ple and
        can hide bugs which makes checking postconditions useful.
      </p></div>
<div id="ftn.boost_contract.introduction.f1" class="footnote"><p><a href="#boost_contract.introduction.f1" class="para"><sup class="para">[3] </sup></a>
        <span class="bold"><strong>Rationale:</strong></span> The assertion failure message
        printed by this library follows a format similar to the message printed by
        Clang when the C-style <code class="computeroutput"><span class="identifier">assert</