Čo je happens-before? Prečo by to mal vedieť vývojár? Odkiaľ pochádza táto záruka?