... _ xor), which we cannot assume, b/c there' ... (T or F) is really a nested conditional (parentheses necessary because ... amp; F cannot be both out when W is true).
... is automatically true (necessary statement of a conditional satisfied). Since (W --> T) is ...