...
To make this a biconditional in a standard in/out ... seated at the same table, they would be forever ... both be seated at table 1" would not imply ... them from being together at table 2.
... never together situation in the table game) is more of ...