Fallback

Proof of Rightness