Aumann agreement theorem for choosing the spice level at a restaurant