You have to be able to reason about the verification