Assertion list
fold (primary) → HasPrerequisite
Results from Ascent++: 1
fold → HasPrerequisite → hand 0.29