... **always apart, never together biconditional because the rule states U ... cross out because in our biconditional chain they both indicate ... apart. When we unchain the biconditional, **U /G**, we get ... the same thing. The biconditional chain saves us time when ...