One day, in a small company cafeteria, a sign said "Chili con Carne (with beans)". A guy in front of me
asked the cafeteria guy, "isn't that redundant? Chili 'with beans' with beans?" The cafeteria guy
stared at me for a second (like, "what a dope") and then said "'con carne' means 'with meat', so it
is chili with meat with beans." I added that chili started out as a stew of chilis, and meat was
added later, but the guy's brain had already checked out.