Simplify .elems, we have $Inf!