Confluence in Lens Synthesis