DROP MIN and Nixx