@jlax Swear that it was. His real name was Arthur, but he went by Art. We, of course, called him Mr. Counts.