Assertion list
paper wallet (subgroup of wallet ) → HasProperty

Results from Ascent++: 3
paper walletHasProperty secure 0.48
paper walletHasProperty safe 0.27
paper walletHasProperty vulnerable 0.16