What if? Mouse proteomics after gene inactivation