Structural_induction loading ...