What is real is what is effective.
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
"The best way to innovate is to embrace failure."