Building new truths through walking

Over the Christmas break, I read this book on Discrete Mathematics and it taught me about proof. Basically, you build new truths by applying logic to the truths (and/or axioms) you already know. This process of applying logic is (I think) the process of thinking (get it). So, these days, I walk a lot (probably 5 hours a week, and I think and listen to music). In the past, I used to think that was a waste of time, but if walking always me to think which allows me to discover new truths, then maybe it's worth it. Now time for a walk.