The Foundational Significance of Leggett’s Non-Local Hidden-Variable Theories