for anyone interested, if I am trying to explain this enharmonic problem, I usually bring up Baubles, Bangles and Beads,
- show them, change global transpose to Eb (or another), study, then change to another key (in song view) perhaps up a half step (semitone) and study, then try a few more keys or other instrument transposes. There are other songs, but this is a simple one to help explain ... song key, instrument transpose, enharmonics, progressions, the related concert key etc.