We saw when you're trying to write applications using threads that security really isn't attainable because you don't have consistency, and without consistency you can't reason about the correctness of your program. 