To view this video please enable JavaScript, and consider upgrading to a web browser that supports HTML5 video
Is C just too radical and doesn't say most empirical verification?
Yeah; we just don't know anything about those other non-Euclidean systems.