... have T or F without W, but based ... I have T or F without the W
< ... is really a nested conditional (parentheses necessary because ... larger nested conditional, the entire nested conditional is also ... sufficient of this nested conditional false satisfies the ...