I think part of the problem is that human communication is bound by the CAP Theorem too.... But worse, our language is by nature inconsistent.

This is why larger groups of small teams is better than smaller groups of large teams. If the teams have segmented responsibilities, you have fewer issues caused by breakdown of consistency.

Thus I think the most important task in initial design is to get the teams right, properly small, and with appropriate division of responsibilities.