Infinity and DIP