idiom: size.