vi ^ x ^ v x ctv