Compact_theory loading ...