(dot x 0)