I’ve always said pup tent. But is it pop tent? Are those different things? Or synonyms? Is one a subset? I’m supposed to go to sleep now?