Separating Va from Vb obscures that both directions jointly constitute a biconditional whose left-to...