“When I used to teach civil procedure as a law professor, I would begin the year by telling my students that 'civil procedure is the etiquette of ritualized battle.' The phrase, which did not originate with me, captured the point that peaceful, developed societies resolve disputes by law rather than by force.”