Delete smt !imp