desynthesising view 3