The choice for mankind lies between freedom and happiness and for the great bulk of mankind, happiness is better.
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."