... this rule as a biconditional because when Z is ... you've established its a biconditional rule, it does not ... W. As far as chaining biconditionals, I never end ... . When I see a biconditional connecting to other rules, ... I split on the biconditional so I don't have ...