THhe Cooper/Kripke Inversion