Assertion list
tiger (primary) → MadeOf
Results from Ascent++: 1
tiger → MadeOf → paper 0.19