, x v ^,