В своем романе "Дверь в лето" Роберт Хайнлайн первым делом сообщает, что полное имя кота — Петроний Арбитр. Однако почти во всех последующих случаях Хайнлайн называет этого же кота уменьшительным англо-американским именем. Каким?