indentation
a strategy for separating pure from impure transitions; moving forward
more declarative paxos module (wip)
moving forward.
only log time when it's significant