Kill\'em All (Long Version