-- count cells and add value by induction select a + condense + over x in sdom(a) using 1c from ImgCharA as a