(:= (dot a a) a)