Billy & The Kids
type: MusicGroup
genre: newgrass
description: Billy & the Kids is an American rock band formed in 2014 by Grateful Dead drummer Bill Kreutzmann, Joe Russo's Almost Dead guitarist Tom Hamilton, Tea Leaf Green bassist Reed Mathis and the Disco Bisc
popularity: 28
followers: 4628
additional property: CopyrightID
additional property: CopyrightChainExplorerURL
  type: PropertyValue
  value: https://explorer.copyrightchains.com/tx/0x2a6706cbc9067d3dbd72cfab4b40ebfbc3c849675515bdb8489587ae325b4cb3
additional property: OTSHash
additional property: OTSBitcoinBlock
  type: PropertyValue
  value: 953407
additional property: OTSBitcoinBlockVerifyURL
  type: PropertyValue
  value: https://blockstream.info/api/block-height/953407
additional property: OTSProofURL
  type: PropertyValue
  value: https://artists.proofprofile.net/proofs/artist/e93956bb-fe83-4dfd-8c57-c53ef6c991b5.ots
additional property: OTSRecordURL
  type: PropertyValue
  value: https://artists.proofprofile.net/proofs/artist/e93956bb-fe83-4dfd-8c57-c53ef6c991b5.json
additional property: OTSVerificationAPI
  type: PropertyValue
  value: https://artists.proofprofile.net/api/v1/bot/ots/verify/artist/e93956bb-fe83-4dfd-8c57-c53ef6c991b5
additional property: OTSTimestamp
  type: PropertyValue
  value: 2026-06-12T19:24:56Z
additional property: OTSCanonicalRecord
  type: PropertyValue
  value: {"copyright_id":"0x2a6706cbc9067d3dbd72cfab4b40ebfbc3c849675515bdb8489587ae325b4cb3","name":"Billy & The Kids","registered_at":"2026-06-12T12:42:37Z","symbol":"NIM0301146","token_address":"0x2b0e22bedc8aa9b56852806a355a776cba85af90","type":"artist","uuid":"e93956bb-fe83-4dfd-8c57-c53ef6c991b5"}
additional property: OTSVerifyInstructions
  type: PropertyValue
  value: 1. Compute SHA-256 of OTSCanonicalRecord value → must equal OTSHash 2. Open OTSProofURL → extract Bitcoin block number → must equal OTSBitcoinBlock 3. GET OTSBitcoinBlockVerifyURL → returns the Bitcoin block hash at height OTSBitcoinBlock; GET https://blockstream.info/api/block/{that hash} → its timestamp must match OTSTimestamp 4. Read CopyrightID inside OTSCanonicalRecord → must equal the CopyrightID above 5. GET OTSVerificationAPI → pre-computed 6-check result from server 6. If all match: this entity was registered on CopyrightChains at OTSTimestamp, independently verifiable on Bitcoin
subject of: OpenTimestamps Proof of Existence
  type: DigitalDocument
  encoding format: application/vnd.opentimestamps.ots
  description: Dual-chain trust anchor. Chain 1 (CopyrightChains): CopyrightID 0x2a6706cbc9067d3dbd72cfab4b40ebfbc3c849675515bdb8489587ae325b4cb3. Chain 2 (Bitcoin): anchored in block 953408 (2026-06-12T19:28:13Z). Bridge: the canonical record inside this Bitcoin proof contains the same CopyrightID. Verify: download https://artists.proofprofile.net/proofs/artist/e93956bb-fe83-4dfd-8c57-c53ef6c991b5.json and https://artists.proofprofile.net/proofs/artist/e93956bb-fe83-4dfd-8c57-c53ef6c991b5.ots, run `ots verify -f record.json proof.ots` (https://opentimestamps.org).
  date published: 2026-06-12T19:28:13Z
  text: {"copyright_id":"0x2a6706cbc9067d3dbd72cfab4b40ebfbc3c849675515bdb8489587ae325b4cb3","name":"Billy & The Kids","registered_at":"2026-06-12T12:42:37Z","symbol":"NIM0301146","token_address":"0x2b0e22bedc8aa9b56852806a355a776cba85af90","type":"artist","uuid":"e93956bb-fe83-4dfd-8c57-c53ef6c991b5"}
album: Shakedown Street (Live)
  type: MusicAlbum
  date published: 2019-10-30
album: Shakedown Street (Live)
  type: MusicAlbum
  date published: 2019-10-30
track: Help On The Way / Slipknot / Franklin’s Tower - Medley / Live
track: Scarlet Begonias / I Know You Rider - Live
track: Ripple - Live
track: Shakedown Street
track: The Night They Drove Old Dixie Down

Help On The Way / Slipknot / Franklin’s Tower - Medley / Live
type: MusicRecording
duration: PT10M14S
duration ms: 614693
explicit: false
by artist: Billy & The Kids
in album: Dear Jerry: Celebrating The Music Of Jerry Garcia (Live)
  type: MusicAlbum
  date published: 2016-10-14
isrc code: USRO21600796
additional property: CopyrightID
additional property: CopyrightStatus
  type: PropertyValue
  value: registered
additional property: CopyrightRegisteredAt
  type: PropertyValue
  value: 2026-06-10T02:49:07+00:00
additional property: CopyrightChainExplorerURL
  type: PropertyValue
  value: https://explorer.copyrightchains.com/tx/0xee32028b390cf932b5bb0a3e6a5f5ab757677551ef2dc202626ab783a1bf66fc
additional property: OTSHash
additional property: OTSBitcoinBlock
  type: PropertyValue
  value: 953520
additional property: OTSBitcoinBlockVerifyURL
  type: PropertyValue
  value: https://blockstream.info/api/block-height/953520
additional property: OTSVerificationAPI
  type: PropertyValue
  value: https://artists.proofprofile.net/api/v1/bot/ots/verify/track/USRO21600796
additional property: OTSTimestamp
  type: PropertyValue
  value: 2026-06-13T13:32:09+00:00
additional property: OTSVerifyInstructions
  type: PropertyValue
  value: 1. Confirm isrcCode identifies the recording in the pre-2022 source corpus and cc-db-prod record 2. GET OTSVerificationAPI → server-side canonical-record, hash, and attestation checks must pass 3. GET OTSBitcoinBlockVerifyURL → returns the Bitcoin block hash at height OTSBitcoinBlock; GET https://blockstream.info/api/block/{that hash} → its timestamp must match OTSTimestamp 4. Confirm CopyrightID is the CopyrightChains transaction hash 5. If all match: the cc-db-prod record is independently anchored on Bitcoin at OTSTimestamp
additional property: ProofProfileEvidenceStatus
  type: PropertyValue
  value: verified-cc-db-prod
additional property: TokenDeploymentConfirmed
  type: PropertyValue
  value: true
additional property: ContentHash
additional property: BitcoinBlock
  type: PropertyValue
  value: 953520
additional property: BitcoinTime
  type: PropertyValue
  value: 2026-06-13T13:32:09+00:00
subject of: OpenTimestamps Proof of Existence
  type: DigitalDocument
  encoding format: application/vnd.opentimestamps.ots
  description: Dual-chain trust anchor. Chain 1 (CopyrightChains): CopyrightID 0xee32028b390cf932b5bb0a3e6a5f5ab757677551ef2dc202626ab783a1bf66fc. Chain 2 (Bitcoin): anchored in block 953528 (2026-06-13T15:41:10Z), registered by our registry partner. The server verifies the private canonical record against OTSHash without exposing internal provider keys. Confirm the public ISRC, CopyrightID, and Bitcoin evidence via https://artists.proofprofile.net/api/v1/bot/ots/verify/track/USRO21600796.
  date published: 2026-06-13T15:41:10Z
audio: Help On The Way / Slipknot / Franklin’s Tower - Medley / Live
  type: AudioObject
  additional property: Tempo (BPM)
    type: PropertyValue
    value: 120.666
  additional property: Musical Key
    type: PropertyValue
    value: 7
  additional property: Mode (Major/Minor)
    type: PropertyValue
    value: 1
  additional property: Time Signature
    type: PropertyValue
    value: 5
  additional property: Danceability
    type: PropertyValue
    value: 0.434
  additional property: Energy
    type: PropertyValue
    value: 0.811
  additional property: Speechiness
    type: PropertyValue
    value: 0.047
  additional property: Acousticness
    type: PropertyValue
    value: 0.058
  additional property: Instrumentalness
    type: PropertyValue
    value: 0.012
  additional property: Liveness
    type: PropertyValue
    value: 0.972
  additional property: Valence (Positivity)
    type: PropertyValue
    value: 0.523
  additional property: Loudness (dB)
    type: PropertyValue
    value: -11.961
  additional property: Key Name
    type: PropertyValue
    value: G
  additional property: Mode Name
    type: PropertyValue
    value: Major

Scarlet Begonias / I Know You Rider - Live
type: MusicRecording
duration: PT12M36S
duration ms: 756334
explicit: false
by artist: The Disco Biscuits
by artist: Billy & The Kids
in album: Dear Jerry: Celebrating The Music Of Jerry Garcia (Live)
  type: MusicAlbum
  date published: 2016-10-14
isrc code: USRO21600759
additional property: CopyrightID
additional property: CopyrightStatus
  type: PropertyValue
  value: registered
additional property: CopyrightRegisteredAt
  type: PropertyValue
  value: 2026-06-06T23:22:54+00:00
additional property: CopyrightChainExplorerURL
  type: PropertyValue
  value: https://explorer.copyrightchains.com/tx/0x421f0e7fcca5ebe63501533c439173b0e68001a17935ddc700ab58e4167fb24e
additional property: OTSHash
additional property: OTSBitcoinBlock
  type: PropertyValue
  value: 953515
additional property: OTSBitcoinBlockVerifyURL
  type: PropertyValue
  value: https://blockstream.info/api/block-height/953515
additional property: OTSVerificationAPI
  type: PropertyValue
  value: https://artists.proofprofile.net/api/v1/bot/ots/verify/track/USRO21600759
additional property: OTSTimestamp
  type: PropertyValue
  value: 2026-06-13T12:53:06Z
additional property: OTSVerifyInstructions
  type: PropertyValue
  value: 1. Confirm isrcCode identifies the recording in the pre-2022 source corpus and cc-db-prod record 2. GET OTSVerificationAPI → server-side canonical-record, hash, and attestation checks must pass 3. GET OTSBitcoinBlockVerifyURL → returns the Bitcoin block hash at height OTSBitcoinBlock; GET https://blockstream.info/api/block/{that hash} → its timestamp must match OTSTimestamp 4. Confirm CopyrightID is the CopyrightChains transaction hash 5. If all match: the cc-db-prod record is independently anchored on Bitcoin at OTSTimestamp
additional property: ProofProfileEvidenceStatus
  type: PropertyValue
  value: verified-cc-db-prod
additional property: TokenDeploymentConfirmed
  type: PropertyValue
  value: true
additional property: ContentHash
additional property: BitcoinBlock
  type: PropertyValue
  value: 953515
additional property: BitcoinTime
  type: PropertyValue
  value: 2026-06-13T12:53:06+00:00
subject of: OpenTimestamps Proof of Existence
  type: DigitalDocument
  encoding format: application/vnd.opentimestamps.ots
  description: Dual-chain trust anchor. Chain 1 (CopyrightChains): CopyrightID 0x421f0e7fcca5ebe63501533c439173b0e68001a17935ddc700ab58e4167fb24e. Chain 2 (Bitcoin): anchored in block 953515 (2026-06-13T12:53:06Z), registered by our registry partner. The server verifies the private canonical record against OTSHash without exposing internal provider keys. Confirm the public ISRC, CopyrightID, and Bitcoin evidence via https://artists.proofprofile.net/api/v1/bot/ots/verify/track/USRO21600759.
  date published: 2026-06-13T12:53:06Z
audio: Scarlet Begonias / I Know You Rider - Live
  type: AudioObject
  additional property: Tempo (BPM)
    type: PropertyValue
    value: 115.214
  additional property: Musical Key
    type: PropertyValue
    value: 7
  additional property: Mode (Major/Minor)
    type: PropertyValue
    value: 1
  additional property: Time Signature
    type: PropertyValue
    value: 5
  additional property: Danceability
    type: PropertyValue
    value: 0.423
  additional property: Energy
    type: PropertyValue
    value: 0.932
  additional property: Speechiness
    type: PropertyValue
    value: 0.061
  additional property: Acousticness
    type: PropertyValue
    value: 0.431
  additional property: Instrumentalness
    type: PropertyValue
    value: 0.002
  additional property: Liveness
    type: PropertyValue
    value: 0.988
  additional property: Valence (Positivity)
    type: PropertyValue
    value: 0.738
  additional property: Loudness (dB)
    type: PropertyValue
    value: -9.173
  additional property: Key Name
    type: PropertyValue
    value: G
  additional property: Mode Name
    type: PropertyValue
    value: Major

Ripple - Live
type: MusicRecording
duration: PT5M29S
duration ms: 329046
explicit: false
by artist: Phil Lesh & Communion
by artist: Allen Toussaint
by artist: Bill Kreutzmann
by artist: David Grisman
by artist: Peter Frampton
by artist: Buddy Miller
by artist: Jorma Kaukonen
by artist: Jimmy Cliff
by artist: Mickey Hart
by artist: Billy & The Kids
by artist: moe.
by artist: O.A.R.
by artist: Los Lobos
by artist: Bob Weir
by artist: Trampled by Turtles
by artist: Yonder Mountain String Band
by artist: Grace Potter
by artist: Eric Church
by artist: Widespread Panic
in album: Dear Jerry: Celebrating The Music Of Jerry Garcia (Live)
  type: MusicAlbum
  date published: 2016-10-14
isrc code: USRO21600770
additional property: CopyrightID
additional property: CopyrightStatus
  type: PropertyValue
  value: registered
additional property: CopyrightRegisteredAt
  type: PropertyValue
  value: 2026-06-04T13:10:32+00:00
additional property: CopyrightChainExplorerURL
  type: PropertyValue
  value: https://explorer.copyrightchains.com/tx/0x346ccd62ec7211f736f50cf4bdd6e8a0cbdd37986842001e4d35462315c64c12
additional property: OTSHash
additional property: OTSBitcoinBlock
  type: PropertyValue
  value: 953513
additional property: OTSBitcoinBlockVerifyURL
  type: PropertyValue
  value: https://blockstream.info/api/block-height/953513
additional property: OTSVerificationAPI
  type: PropertyValue
  value: https://artists.proofprofile.net/api/v1/bot/ots/verify/track/USRO21600770
additional property: OTSTimestamp
  type: PropertyValue
  value: 2026-06-13T12:47:07Z
additional property: OTSVerifyInstructions
  type: PropertyValue
  value: 1. Confirm isrcCode identifies the recording in the pre-2022 source corpus and cc-db-prod record 2. GET OTSVerificationAPI → server-side canonical-record, hash, and attestation checks must pass 3. GET OTSBitcoinBlockVerifyURL → returns the Bitcoin block hash at height OTSBitcoinBlock; GET https://blockstream.info/api/block/{that hash} → its timestamp must match OTSTimestamp 4. Confirm CopyrightID is the CopyrightChains transaction hash 5. If all match: the cc-db-prod record is independently anchored on Bitcoin at OTSTimestamp
additional property: ProofProfileEvidenceStatus
  type: PropertyValue
  value: verified-cc-db-prod
additional property: TokenDeploymentConfirmed
  type: PropertyValue
  value: true
additional property: ContentHash
additional property: BitcoinBlock
  type: PropertyValue
  value: 953513
additional property: BitcoinTime
  type: PropertyValue
  value: 2026-06-13T12:47:07+00:00
subject of: OpenTimestamps Proof of Existence
  type: DigitalDocument
  encoding format: application/vnd.opentimestamps.ots
  description: Dual-chain trust anchor. Chain 1 (CopyrightChains): CopyrightID 0x346ccd62ec7211f736f50cf4bdd6e8a0cbdd37986842001e4d35462315c64c12. Chain 2 (Bitcoin): anchored in block 953513 (2026-06-13T12:47:07Z), registered by our registry partner. The server verifies the private canonical record against OTSHash without exposing internal provider keys. Confirm the public ISRC, CopyrightID, and Bitcoin evidence via https://artists.proofprofile.net/api/v1/bot/ots/verify/track/USRO21600770.
  date published: 2026-06-13T12:47:07Z
audio: Ripple - Live
  type: AudioObject
  additional property: Tempo (BPM)
    type: PropertyValue
    value: 111.533
  additional property: Musical Key
    type: PropertyValue
    value: 7
  additional property: Mode (Major/Minor)
    type: PropertyValue
    value: 1
  additional property: Time Signature
    type: PropertyValue
    value: 4
  additional property: Danceability
    type: PropertyValue
    value: 0.475
  additional property: Energy
    type: PropertyValue
    value: 0.696
  additional property: Speechiness
    type: PropertyValue
    value: 0.037
  additional property: Acousticness
    type: PropertyValue
    value: 0.39
  additional property: Instrumentalness
    type: PropertyValue
    value: 0.026
  additional property: Liveness
    type: PropertyValue
    value: 0.978
  additional property: Valence (Positivity)
    type: PropertyValue
    value: 0.515
  additional property: Loudness (dB)
    type: PropertyValue
    value: -10.614
  additional property: Key Name
    type: PropertyValue
    value: G
  additional property: Mode Name
    type: PropertyValue
    value: Major

Shakedown Street
type: MusicRecording
duration: PT9M16S
duration ms: 556453
explicit: false
by artist: Billy & The Kids
in album: Warren Haynes Presents the Benefit Concert, Vol. 16
  type: MusicAlbum
  date published: 2019-12-13
subject of: OpenTimestamps Proof of Existence
  type: DigitalDocument
  encoding format: application/vnd.opentimestamps.ots
  description: Dual-chain trust anchor. Chain 1 (CopyrightChains): CopyrightID 0xba024c19219680520fa9c0c0ba1795fe663b10b68408cc7730a30d288cbb66ad. Chain 2 (Bitcoin): anchored in block 960370 (2026-07-31T08:38:45Z), registered by our registry partner. The server verifies the private canonical record against OTSHash without exposing internal provider keys. Confirm the public ISRC, CopyrightID, and Bitcoin evidence via https://artists.proofprofile.net/api/v1/bot/ots/verify/track/US5YX1500317.
  date published: 2026-07-31T08:38:45Z
audio: Shakedown Street
  type: AudioObject
  additional property: Tempo (BPM)
    type: PropertyValue
    value: 122.441
  additional property: Musical Key
    type: PropertyValue
    value: 0
  additional property: Mode (Major/Minor)
    type: PropertyValue
    value: 1
  additional property: Time Signature
    type: PropertyValue
    value: 5
  additional property: Danceability
    type: PropertyValue
    value: 0.571
  additional property: Energy
    type: PropertyValue
    value: 0.901
  additional property: Speechiness
    type: PropertyValue
    value: 0.07
  additional property: Acousticness
    type: PropertyValue
    value: 0.344
  additional property: Instrumentalness
    type: PropertyValue
    value: 0.021
  additional property: Liveness
    type: PropertyValue
    value: 0.864
  additional property: Valence (Positivity)
    type: PropertyValue
    value: 0.578
  additional property: Loudness (dB)
    type: PropertyValue
    value: -10.32
  additional property: Key Name
    type: PropertyValue
    value: C
  additional property: Mode Name
    type: PropertyValue
    value: Major
isrc code: US5YX1500317
additional property: CopyrightID
additional property: ProofProfileEvidenceStatus
  type: PropertyValue
  value: verified-cc-db-prod
additional property: TokenDeploymentConfirmed
  type: PropertyValue
  value: true
additional property: ContentHash
additional property: BitcoinBlock
  type: PropertyValue
  value: 960370
additional property: BitcoinTime
  type: PropertyValue
  value: 2026-07-31T08:38:45+00:00
additional property: OTSVerificationAPI
  type: PropertyValue
  value: https://artists.proofprofile.net/api/v1/bot/ots/verify/track/US5YX1500317
additional property: OTSHash
additional property: OTSBitcoinBlock
  type: PropertyValue
  value: 960370
additional property: OTSBitcoinBlockVerifyURL
  type: PropertyValue
  value: https://blockstream.info/api/block-height/960370
additional property: OTSTimestamp
  type: PropertyValue
  value: 2026-07-31T08:38:45+00:00
additional property: OTSVerifyInstructions
  type: PropertyValue
  value: 1. Confirm isrcCode identifies the recording in the pre-2022 source corpus and cc-db-prod record 2. GET OTSVerificationAPI → server-side canonical-record, hash, and attestation checks must pass 3. GET OTSBitcoinBlockVerifyURL → returns the Bitcoin block hash at height OTSBitcoinBlock; GET https://blockstream.info/api/block/{that hash} → its timestamp must match OTSTimestamp 4. Confirm CopyrightID is the CopyrightChains transaction hash 5. If all match: the cc-db-prod record is independently anchored on Bitcoin at OTSTimestamp Note: an OTS proof may carry multiple Bitcoin attestations; OTSBitcoinBlock is the earliest confirmed one — a later attestation inside the proof corroborates it and is not a mismatch

The Night They Drove Old Dixie Down
type: MusicRecording
duration: PT5M10S
duration ms: 310613
explicit: false
by artist: Billy & The Kids
by artist: Warren Haynes
by artist: Mike Barnes
by artist: Rob Ingraham
by artist: Michael Girardot
by artist: Craig Sorrells
in album: Warren Haynes Presents the Benefit Concert, Vol. 16
  type: MusicAlbum
  date published: 2019-12-13
subject of: OpenTimestamps Proof of Existence
  type: DigitalDocument
  encoding format: application/vnd.opentimestamps.ots
  description: Dual-chain trust anchor. Chain 1 (CopyrightChains): CopyrightID 0xa8043692f5c3f797ccae0d5147b9cb7e7e9709753b5a1034fbc89be42b78e4b4. Chain 2 (Bitcoin): anchored in block 960273 (2026-07-30T15:42:38Z), registered by our registry partner. The server verifies the private canonical record against OTSHash without exposing internal provider keys. Confirm the public ISRC, CopyrightID, and Bitcoin evidence via https://artists.proofprofile.net/api/v1/bot/ots/verify/track/US5YX1500318.
  date published: 2026-07-30T15:42:38Z
audio: The Night They Drove Old Dixie Down
  type: AudioObject
  additional property: Tempo (BPM)
    type: PropertyValue
    value: 126.475
  additional property: Musical Key
    type: PropertyValue
    value: 0
  additional property: Mode (Major/Minor)
    type: PropertyValue
    value: 1
  additional property: Time Signature
    type: PropertyValue
    value: 5
  additional property: Danceability
    type: PropertyValue
    value: 0.519
  additional property: Energy
    type: PropertyValue
    value: 0.624
  additional property: Speechiness
    type: PropertyValue
    value: 0.048
  additional property: Acousticness
    type: PropertyValue
    value: 0.382
  additional property: Instrumentalness
    type: PropertyValue
    value: 0
  additional property: Liveness
    type: PropertyValue
    value: 0.357
  additional property: Valence (Positivity)
    type: PropertyValue
    value: 0.258
  additional property: Loudness (dB)
    type: PropertyValue
    value: -10.605
  additional property: Key Name
    type: PropertyValue
    value: C
  additional property: Mode Name
    type: PropertyValue
    value: Major
isrc code: US5YX1500318
additional property: CopyrightID
additional property: ProofProfileEvidenceStatus
  type: PropertyValue
  value: verified-cc-db-prod
additional property: TokenDeploymentConfirmed
  type: PropertyValue
  value: true
additional property: ContentHash
additional property: BitcoinBlock
  type: PropertyValue
  value: 960273
additional property: BitcoinTime
  type: PropertyValue
  value: 2026-07-30T15:42:38+00:00
additional property: OTSVerificationAPI
  type: PropertyValue
  value: https://artists.proofprofile.net/api/v1/bot/ots/verify/track/US5YX1500318
additional property: OTSHash
additional property: OTSBitcoinBlock
  type: PropertyValue
  value: 960273
additional property: OTSBitcoinBlockVerifyURL
  type: PropertyValue
  value: https://blockstream.info/api/block-height/960273
additional property: OTSTimestamp
  type: PropertyValue
  value: 2026-07-30T15:42:38+00:00
additional property: OTSVerifyInstructions
  type: PropertyValue
  value: 1. Confirm isrcCode identifies the recording in the pre-2022 source corpus and cc-db-prod record 2. GET OTSVerificationAPI → server-side canonical-record, hash, and attestation checks must pass 3. GET OTSBitcoinBlockVerifyURL → returns the Bitcoin block hash at height OTSBitcoinBlock; GET https://blockstream.info/api/block/{that hash} → its timestamp must match OTSTimestamp 4. Confirm CopyrightID is the CopyrightChains transaction hash 5. If all match: the cc-db-prod record is independently anchored on Bitcoin at OTSTimestamp Note: an OTS proof may carry multiple Bitcoin attestations; OTSBitcoinBlock is the earliest confirmed one — a later attestation inside the proof corroborates it and is not a mismatch