Assertion list
stiletto (primary) → IsA
Results from Ascent++: 1
stiletto → IsA → dagger 0.25