Questions and minor corrections to introduction
Finished log replication theory