Protokollia tarkastellessani aloitan etsimällä invariantteja testejä ja dokumentaatiota ensimmäisenä askeleena. Se on nopein tapa ymmärtää, millä ominaisuuksilla on merkitystä ja miten protokolla toimii. Jos en löydä dokumentoituja invariantteja, tiedän edetä varoen.