In the lessons about In/Out games there is use of bi-conditionals like J /K. For other prep material they have used a "negative bi-conditional", so J K. Do these represent the same things? I assumed they both meant J and K cannot be selected together. # ...