One frequently mentioned motivation for HoTT is the ability to do synthetic homotopy theory. While this is certainly valid I believe that there is much more to HoTT which makes it the best foundation of Mathematics we have come up so far. I am also in the process of writing an accessible account of Type Theory ("The Tao of Types") and hence I am keen to explore the question how to explain HoTT to a general audience.