Happens-before nedir? Bir geliştirici neden bilmelidir? Bu garanti nereden gelir?