"The future of system design lies in the integration of formal methods with traditional engineering practices."
"I'm not a role model, I'm a role model's role model."