- Look at the mathematical notation, get comfortable with it
- What is a property?  (It's not what you expect.)
- What is a liveness property as described in the paper?
- What is a safety property as described in the paper?
- What is the major contribution of this paper?
- Classify Lamport's Byzantine Generals Problem properties as either
  liveness or safety (as described in Defining Liveness)
- Define and classify consensus properties from Fischer Lynch and Paterson's
  impossibility of consensus paper