Bij het beoordelen van protocollen begin ik met het zoeken naar invarianten tests en documentatie als eerste stap. Het is de snelste manier om te begrijpen welke eigenschappen belangrijk zijn en hoe het protocol werkt. Als ik geen gedocumenteerde invarianten vind, weet ik dat ik voorzichtig moet zijn.