... I diagram "always apart" as bi-conditional. I.e. J /K ... J --> K is not always apart. It means either ... K is in, or both J and K can be ... must be out, or both can be out. Always ... K is in, but not both". This means I must ... because I cannot see both in. I hope this ...