hot dogs implies the existence of cold cats