equi NP deletion