Formal models of arms races | lit.salon