*Infinity* exists