Andras Gerlits — Simplifying global-scale strong consistency