Document consistency model

Currently, the prerequisite is that pigs can fly.  It's just not allowed.

However, if it were allowed, I believe that we only need the headnode to be turned off.