() Write the set of rules corresponding to Strategy AskAll using logical clocks to impose total order among requests. Implement and throughly test the corresponding protocol AskAllClocks. Compare the experimental results with the theoretical bounds.