You can only find out what you actually believe (rather than what you think you believe) by watching how you act. You simply don’t know what you believe, before that. You are too complex to understand yourself.
数学证明的优雅常常反映了它所描述的算法的效率。