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