Chris Johnson,
Index
Terminology
What is `Safety'?
Nothing bad will happen?
- can you ever prove this?
Is this sufficient?
