Fredholm_theory loading ...