The difference between war and revolution