Ha, I’ve been familiar with Carnap for probably a decade and it took your comment for me to realize his name is Car Nap.