Toegankelijkheid, nauwkeurig geformuleerd

Een nieuwe sectie die onderscheid maakt tussen wat is getest en bewezen, en wat de bedoeling is maar nog niet is geverifieerd.