Talk:Focused proof