What’s the difference between a civil war and a revolution to overthrow the rich?