Revisioner hittar buggar som finns. Påståenden förhindrar stater som inte borde. Den ena är reaktiv. Den ena är proaktiv.