Bass–Serre_theory loading ...