Assertion list
paper wallet (subgroup of wallet ) → IsA
Results from Ascent++: 1
paper wallet → IsA → offline cold storage method 0.25