. "is provably scalar, or expanded out if b is a matrix;" . . .