Vi Vtl \ x \ Vi1 tNld Vt