Assertion list
beta (primary) → HasA
Results from Ascent++: 3
beta → HasA → the option 0.25
beta → HasA → bug 0.24
beta → HasA → many bugfixes 0.16