The predicate is other_side_known