Mi az a happens-before? Miért kellene egy fejlesztőnek tudnia róla? Innen származik ez a garancia?