Self-verification_theory loading ...