Search for blocks/addresses/...

Proofgold Proof

pf
Apply ordsucc_inj_contra with u11, u2.
The subproof is completed by applying unknownprop_93bd155ae66f9293399dab321235e159c709aa50be6b4209e260d5c571069bc3.