Slide "Nickname semantics"