Text this: <An> existence theorem for a bargaining set.