"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."
It wasn't only wickedness and scheming that made people unhappy, it was confusion and misunderstanding; above all, it was the failure to grasp the simple truth that other people are as real as you.