Rising (Extended Version)

Contradiction