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