(:= (dot a 0) 1)