Exploring TLA+ and two-phase commit | Heykuki News