The cats' Arabian nights, or, King Grimalkum