Monitors in Paxos | NisiHub