The Math of SMT V: Vengeance #1: Damage; How Does It Work?