mon: instrument paxos