Charlie’s theorem