this is a@>test if x@-[1] = (x@-[2])@+[2], then...