Distributed System Intelligibility

There is another criterion, which is not explicitly mentioned but implied: intelligibility. How understandable are the guarantees that are made?

From: Distributed systems for fun and profit