cleaned up Quantified shrinkers