Outline a proof idea for Call/SOME Result