Kill mutations via stronger comparison