Assertion list
critic (primary) → Desires
Results from Ascent++: 1
critic → Desires → scrap the contract 0.16