well, they ARE guaranteed to be the same here