The choice for mankind lies between freedom and happiness and for the great bulk of mankind, happiness is better.
To love someone is to know how to lose them.
Loneliness is not the absence of others, but the absence of oneself.
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."