DirectedInfinity1+I + 1