XVX & vL if