What is happens-before? Why should a developer know about it? Where does this guarantee come from?