I don’t think you should ever have to apologize for your excitement.
A long habit of not thinking a thing wrong gives it a superficial appearance of being right.
On choosing friends: "Life's too short to hang out with people who aren't resourceful."
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."