Assertion list
depositor (primary) → Desires
Results from Ascent++: 2
depositor → Desires → 100% safety 0.36
depositor → Desires → withdraw money 0.25