I don't think about risks. I think about winning.
"Every wall has its own voice, and my job is to listen."
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."