(dot (aref a (+ x 1)) z)
