Dots.prod

Dots.prod