select condense + over x in sdom(a) where (bool)((bool)a[x]+1) using 1 from mr as a