Physicist Edward Witten explains how the popularity of extra dimensions in the public is connected to the way string theory has been portrayed, and discusses how he was able to prove that there exists maths and strings that are totally four-dimensional.