Tarkastukset löytävät olemassa olevia bugeja. Väitteet estävät valtioita, joiden ei pitäisi. Toinen on reaktiivinen. Yksi on ennakoiva.