Xc \ Wv Vyv = va ctt ^u \ \ \o.