v | A vt n 1 & ^v