Clarifications around an example