Assertion list
public key (subgroup of key ) → IsA
Results from Ascent++: 3
public key → IsA → the address 0.28
public key → IsA → correct one 0.25
public key → IsA → the pair 0.25