A claim is a complex object that contains a predicate that:
Verifying claims often requires subjective evalation from an agent, as opposed to proofs, whose criteria are objectively satisfied or not.