(:= (dot (dot a x) y) 1)