Geef een aantal manieren waarop je correctheid kunt bewijzen.