"liveness" and "safety" used before definitions

[djmitche]

In "The FLP impossibility result", you use the terms "liveness" and "safety", but they are not defined at that point. I think you mean "termination" and "agreement" from the previous section, but I'm not entirely sure.

[ronin13]

+1 on this. It would be good to define liveness and safety in first chapter of definitions: http://book.mixu.net/distsys/intro.html

[alinush]

+1 on this as well! I was surprised they were not defined in the introduction.