Examples for Distal (Paxos inside)