Assertion list
decrease (primary) → MadeOf

Results from Ascent++: 1
decreaseMadeOf right side 0.35