Talk:Surface subgroup conjecture