Socratic_method loading ...