Thanks, Tom, for your suggestions. They are so delightful that I have added a remark at the end of the story, directing readers to your comment here.