"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."
Those who can endure the worst blows of fate are often the strongest individuals.