the cooper kripke inversion