As provas STARK são como vento matemático que você sopra sobre os dados. Se houver alguma poeira de especificação, esse vento a soprar irá tirá-la de seu esconderijo e ela será vista em toda parte.