(:= (dot (dot a 0) 1) 1)