Text this: A calculus of first-strike stability :