Assertion list
bloom (primary) → MadeOf
Results from Ascent++: 1
bloom → MadeOf → maple 0.29