Search for blocks/addresses/...

Proofgold Proof

pf
Apply ordsucc_inj_contra with u11, u10.
The subproof is completed by applying unknownprop_4ab2aef55b95fb08a1edd1a27d2fff79c4fc64f365bf3591ff27be743265541f.