Arboreal_theory loading ...