(Also efficient wars cost less time, and that one was even against a much more formidable enemy.)
Reply on news.ycombinator.com