IF v W ^ V^