Before revision:  We also clarify which results change when moving from 1-0 binary utilities to the more general bi-valued  utilities.
After revision:  We also clarify which results change when moving from 1-0 binary utilities to the more general bi-valued utilities. Finally, we prove that the closely related Nash bargaining solution violates envy-freeness and strategyproofness even under 1-0 utilities.