New: dimensionalinfinity