Aristóteles resolve o problema da verificação.