Assertion list
mix (primary) → UsedFor
Results from Ascent++: 2
mix → UsedFor → pancake 0.25
mix → UsedFor → waffle 0.25