"Writing is a way of exploring the world and understanding ourselves better."
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
My attitude is that if you push me towards something that you think is a weakness, then I will turn that perceived weakness into a strength.