Surface_subgroup_conjecture loading ...