Kas ir happens-before? Kāpēc izstrādātājam par to jāzina? No kurienes nāk šī garantija?