Invia SMS: <An> existence theorem for a bargaining set.