Which text reads this Signal?
Reinhardt Pages 0.3.15. Each button writes one Signal, then explicitly flushes updates.
Selected branch:
Always reads left:
Increase left
Increase right
Switch branch
Run seven-state assertions