Changes paper category for Paxos. Replication -> consensus protocols