Software in Paxos | NisiHub