Cerf_theory loading ...