"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."

Illness is the night-side of life, a more onerous citizenship. Everyone who is born holds dual citizenship, in the kingdom of the well and in the kingdom of the sick.

Geology doesn't compromise, and neither should our standards.