CSE138 (Distributed Systems) L10: recap of safety and liveness; reliable delivery; ...