[Levitz]

The same way it would correct typos in a text. It's just a tool, you tell it to find inconsistencies, see what results that yields, and optimize it for verification of claims.