Is It a “Good” Encoding of Mixed Choice?