A simple ring closing metathesis problem (including mechanism!).

;