Assertion list
touch (primary) → Causes

Results from Ascent++: 1
touchCauses change 0.25