added EnsuringNot to Util;