It’s possible that in future they’ll find better ways of proving what’s true