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 clarify which results change when moving from 1-0 binary utilities to the more general bi-valued utilities.