Puzzles regarding distributed systems