Let's use a hypothetical here. Let's say you're on a team with someone named Mike.

Mike has a team member that keeps referring to him as 'Mikey'. Mike doesn't like this, because he feels it's demeaning and rude. He insists on being called Mike, but his teammate refuses.

If his manager gets involved and tells said team member to cut it out, is that punishing someone for wrongthink? Do you think it's acceptable to repeatedly call someone a name that they don't like?