X'_theory loading ...