确实是错的，应该是happens before规则