(dot (dot a a) a)