¿Qué es happens-before? ¿Por qué un desarrollador debería saberlo? ¿De dónde proviene esta garantía?