Empathy is the key to innovation.
I think that's the single most important thing about writing: it's about making the familiar strange and the strange familiar.
The aim of proof is to understand, not just to verify.