Assertion list
tortoise (primary) → MadeOf
Results from Ascent++: 1
tortoise → MadeOf → metal 0.25