*How_to_verify_other_people's_claims_outside_of_formal_systems