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
Dual-chain trust anchor. Chain 1 (CopyrightChains): CopyrightID 0xd87c66b021bf8f3534eeb99bd16bf16adc39db5c04415f8431dd71c24850c707. Chain 2 (Bitcoin): anchored in block 953407 (2026-06-12T19:24:56Z). Bridge: the canonical record inside this Bitcoin proof contains the same CopyrightID. Verify: download https://artists.proofprofile.net/proofs/artist/0702c483-352d-44ad-8b4a-72272d6aaa8c.json and https://artists.proofprofile.net/proofs/artist/0702c483-352d-44ad-8b4a-72272d6aaa8c.ots, run `ots verify -f record.json proof.ots` (https://opentimestamps.org).
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
Dual-chain trust anchor. Chain 1 (CopyrightChains): CopyrightID 0x2811b793c7597c5d595d8d15dcaca0301fd7702d1796e4106088bc328cd456e2. Chain 2 (Bitcoin): anchored in block 953536 (2026-06-13T17:25:41Z), 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/GB8KE2413946.
Dual-chain trust anchor. Chain 1 (CopyrightChains): CopyrightID 0xb0a88f5dea26d3491c4256cda335842ae403f65a4a9e5b6acdb7ffbcd66af1e6. 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/GB8KE2413947.
Dual-chain trust anchor. Chain 1 (CopyrightChains): CopyrightID 0x81e9f572bf55ad3f3e5229b9d16a4d95e9e140001c09d56d15f523e14a4f36d0. 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/GB8KE2413948.
Dual-chain trust anchor. Chain 1 (CopyrightChains): CopyrightID 0x7ba579e966432873031a483bccebf7adac2fad9e8f6da6a720a393722db9d9f7. Chain 2 (Bitcoin): anchored in block 956304 (2026-07-02T03:55:08Z), 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/QZQAY2424029.
Dual-chain trust anchor. Chain 1 (CopyrightChains): CopyrightID 0x247b59ad96e93ccc2d8906821178baad4b77d39aa6e1bac0321843cf32eae01c. Chain 2 (Bitcoin): anchored in block 953520 (2026-06-13T13:32:09Z), 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/QZQAY2433207.
Dual-chain trust anchor. Chain 1 (CopyrightChains): CopyrightID 0x9b521e12cc66d9b953f3a97774e411fe532b7eedfbc18b67e30f02c3ebe7bf8f. 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/QZQAY2477621.
Dual-chain trust anchor. Chain 1 (CopyrightChains): CopyrightID 0x94a33ec0fc9e55b829a2c83ebe9f6a2f684703837b78c0bfb4bfe587179ce76b. Chain 2 (Bitcoin): anchored in block 957120 (2026-07-08T03:22:41Z), 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/DEH742414210.
Dual-chain trust anchor. Chain 1 (CopyrightChains): CopyrightID 0xfd13a788b71c74b506a4d7a44a27da80ed634585f3e8f64a26f80016cbad9ddf. Chain 2 (Bitcoin): anchored in block 956349 (2026-07-02T11:34:59Z), 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/DEH742415117.
Dual-chain trust anchor. Chain 1 (CopyrightChains): CopyrightID 0x91ccb645e7f1acd152c34bb3fe697dff61908b40a23349c410733be89d769d61. Chain 2 (Bitcoin): anchored in block 956304 (2026-07-02T03:55:08Z), 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/GB8KE2419018.
Dual-chain trust anchor. Chain 1 (CopyrightChains): CopyrightID 0xec5809796d702365ea47807116f268881a69475dfc6d6af91dd74c1ba79e91e7. 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/GB8KE2419019.
Dual-chain trust anchor. Chain 1 (CopyrightChains): CopyrightID 0x2ceebaeaaa5dfcb266c7468958121565dd4ebf1c6d7e5f2e7c0480cc0d08156a. 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/GB8KE2419020.
Dual-chain trust anchor. Chain 1 (CopyrightChains): CopyrightID 0xa3c87883547e4cac1a1e1761c7ec150f7de4d9dbfe459a2f8d18d6f8d9e9cbc9. Chain 2 (Bitcoin): anchored in block 956302 (2026-07-02T03:30:09Z), 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/GB8KE2418553.
Dual-chain trust anchor. Chain 1 (CopyrightChains): CopyrightID 0xbb94b2ac51695e99afd67967bd21f970e89cd964d00b122847d93ea3f9813481. 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/GB8KE2418554.
Dual-chain trust anchor. Chain 1 (CopyrightChains): CopyrightID 0x8fec32e8e5f2119b40160c0b10fb37a28f881614ec3f05e363d9579ae64689d9. 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/GB8KE2418555.
Dual-chain trust anchor. Chain 1 (CopyrightChains): CopyrightID 0x92ec8a81788ad6f61ab090092849d11407a54f882751d3272bd3d2db52e23265. Chain 2 (Bitcoin): anchored in block 954130 (2026-06-17T19:07:14Z), 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/GB8KE2417041.
Dual-chain trust anchor. Chain 1 (CopyrightChains): CopyrightID 0xdef7589d8307dd0909c41dbbf737f634fa480192ed8063fe261722339944bbd0. 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/GB8KE2417042.
Dual-chain trust anchor. Chain 1 (CopyrightChains): CopyrightID 0xbf2e8450a333fe1ef1de5d4f9d3256ad2d02fdc93c7a54b3f67d5e6288796bbb. 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/GB8KE2417043.
Dual-chain trust anchor. Chain 1 (CopyrightChains): CopyrightID 0xfd0a55152773999bb7b4b6e5cf6f6e81b0568653ed433cef952d62b1a26c8d83. Chain 2 (Bitcoin): anchored in block 953520 (2026-06-13T13:32:09Z), 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/CAGOO2446294.
Dual-chain trust anchor. Chain 1 (CopyrightChains): CopyrightID 0x98a2c3bd148f78045dfeb84ca48422f7c5992ecfede436348b002da5bbae4f86. Chain 2 (Bitcoin): anchored in block 953520 (2026-06-13T13:32:09Z), 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/CAGOO2446295.
Dual-chain trust anchor. Chain 1 (CopyrightChains): CopyrightID 0xd758738c07c2bd6828b274d356a76a80ccb1d59de3dfadb942f71ea99a5dcec4. 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/CAGOO2446296.
Dual-chain trust anchor. Chain 1 (CopyrightChains): CopyrightID 0x7450fd243003de117c576be01e75d32e5dfe8743c137afad7a3e25a4f957671d. Chain 2 (Bitcoin): anchored in block 956302 (2026-07-02T03:30:09Z), 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/GB8KE2416043.
Dual-chain trust anchor. Chain 1 (CopyrightChains): CopyrightID 0x311d61ff4fee205bab50aea041a74ddf112ca5e8cb49ac85cd86503b8a3e02b2. 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/GB8KE2416044.
Dual-chain trust anchor. Chain 1 (CopyrightChains): CopyrightID 0x4f321eda7398703f1b15b64d82e7b55b8a02a595017edb7e294badb8b90d72ea. 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/GB8KE2416045.
Dual-chain trust anchor. Chain 1 (CopyrightChains): CopyrightID 0xc8f57265649ae6063440c576bdd39e014fd17e19caed6d19e2c2b29cf51460bf. Chain 2 (Bitcoin): anchored in block 956304 (2026-07-02T03:55:08Z), 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/GB8KE2415266.
Dual-chain trust anchor. Chain 1 (CopyrightChains): CopyrightID 0xb8d446bebf68614869b2eb7acc0ea6924bf4b6c4c5fa07fed31eff79e3c89a45. Chain 2 (Bitcoin): anchored in block 953520 (2026-06-13T13:32:09Z), 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/GB8KE2415267.
Dual-chain trust anchor. Chain 1 (CopyrightChains): CopyrightID 0x9153fe04b56dca21baaa2b5b7e6154f56a0c1f81c7242daa3a453b4d92581823. 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/GB8KE2415268.
Dual-chain trust anchor. Chain 1 (CopyrightChains): CopyrightID 0xeb6da1b4bfcbe0de6623d2242df3dfa264cf375a01c4d89aeb6dcc926b93b8e6. Chain 2 (Bitcoin): anchored in block 956304 (2026-07-02T03:55:08Z), 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/GB8KE2414634.
Dual-chain trust anchor. Chain 1 (CopyrightChains): CopyrightID 0xc34f1f92716e12d2e2e0f7c98a5233d83ab31539fa7c6dbc69116688758a15ac. Chain 2 (Bitcoin): anchored in block 953520 (2026-06-13T13:32:09Z), 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/GB8KE2414635.
Dual-chain trust anchor. Chain 1 (CopyrightChains): CopyrightID 0x9b2744c12ae45f6cb4caa12f07a976a674115dba030d11f58356faca99ed72e6. 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/GB8KE2414636.
Dual-chain trust anchor. Chain 1 (CopyrightChains): CopyrightID 0xe3fb1dbbcdb0ebd49004eca38a84d4ea3d3fd8c98bd9004fdde16219d26e6d5e. Chain 2 (Bitcoin): anchored in block 956304 (2026-07-02T03:55:08Z), 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/GB8KE2413300.
Dual-chain trust anchor. Chain 1 (CopyrightChains): CopyrightID 0x6bd6be4041bb32e64b2eb0c659f46bf89d2eab5dafb4ae693839400786c2b4ea. Chain 2 (Bitcoin): anchored in block 953536 (2026-06-13T17:25:41Z), 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/GB8KE2413301.
Dual-chain trust anchor. Chain 1 (CopyrightChains): CopyrightID 0xce4543e2bd06c5ae04d9c2664fc19fa2d71ba075ad8d05f0c926f54d80da8146. Chain 2 (Bitcoin): anchored in block 953536 (2026-06-13T17:25:41Z), 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/GB8KE2413302.
Dual-chain trust anchor. Chain 1 (CopyrightChains): CopyrightID 0x9436ab993dba9c34e27ae0bc3b34244cbb7a2f46b289ae9d92493eef83ac1490. Chain 2 (Bitcoin): anchored in block 956302 (2026-07-02T03:30:09Z), 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/GB8KE2410721.
Dual-chain trust anchor. Chain 1 (CopyrightChains): CopyrightID 0xe81edd8c4f5a3ad29bfa9bf45086952226b65116f39d42bbae3e66721b9a29b3. Chain 2 (Bitcoin): anchored in block 953536 (2026-06-13T17:25:41Z), 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/GB8KE2410722.
Dual-chain trust anchor. Chain 1 (CopyrightChains): CopyrightID 0x14d78fb26ab4c26cd9548a40f10414eda4f814d2670443f13b7b32fe1ae96e45. 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/GB8KE2410723.
Dual-chain trust anchor. Chain 1 (CopyrightChains): CopyrightID 0x89ceeeea664287c7c10afed84947db59352386798b56a7812d93d2d033236ce6. Chain 2 (Bitcoin): anchored in block 956304 (2026-07-02T03:55:08Z), 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/GB8KE2410624.
Dual-chain trust anchor. Chain 1 (CopyrightChains): CopyrightID 0x3c9404641d8c8cfde7e5d9faccc5738080c33b1c62d42d1e008d7480a7e743fd. Chain 2 (Bitcoin): anchored in block 956304 (2026-07-02T03:55:08Z), 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/GB8KE2410625.
Dual-chain trust anchor. Chain 1 (CopyrightChains): CopyrightID 0xefb35788ba981a5a7cd406b88a510ee2d1d80533fa4aa9b0a4a68ef71de4b0dc. Chain 2 (Bitcoin): anchored in block 956302 (2026-07-02T03:30:09Z), 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/GB8KE2410626.
Dual-chain trust anchor. Chain 1 (CopyrightChains): CopyrightID 0xbe5868a10aa2a3b6005b71080f05a50623b1764b70e73255b5a37bf7eb4d803a. Chain 2 (Bitcoin): anchored in block 956302 (2026-07-02T03:30:09Z), 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/GB8KE2410627.
Dual-chain trust anchor. Chain 1 (CopyrightChains): CopyrightID 0x0b6c0d0ca0b28b62623a1b67c3f81b2d2d358ac9e671e7019dad97a4a695dacd. Chain 2 (Bitcoin): anchored in block 956889 (2026-07-06T06:56:49Z), 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/GB8KE2410629.
Dual-chain trust anchor. Chain 1 (CopyrightChains): CopyrightID 0x9897d69004e3e46ef56717875ef88f4ab1b89967f86dbc5a07fbecc78ccd3875. Chain 2 (Bitcoin): anchored in block 960155 (2026-07-29T22:13:32Z), 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/GB8KE2410628.
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