(:= (dot a x) 1)