Truthmaker_theory loading ...