(:= (aref (dot (aref a (+ x 1)) y) (+ z 2)) (aref (dot (aref b (+ p 3)) w) (+ q 4)))