I don't think about risks. I think about winning.
Arrange whatever pieces come your way.
"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."