Når jeg gjennomgår protokoller, starter jeg med å se etter invariante tester og dokumentasjon som det første trinnet. Det er den raskeste måten å forstå hvilke egenskaper som betyr noe og hvordan protokollen fungerer. Hvis jeg ikke finner noen dokumenterte invarianter, vet jeg at jeg skal fortsette med forsiktighet.