Assertion list
fold (primary) → HasA
Results from Ascent++: 3
fold → HasA → 12gb of ram 0.25
fold → HasA → secondary 4.6-inch display 0.25
fold → HasA → small growths 0.25