Tillgänglighet, exakt definierad

Ett nytt avsnitt som skiljer det som har testats och bevisats från det som är avsett men ännu inte verifierats.