Gap_theory loading ...