That's confusing. We know from the reporting that some parties were happy with the bid. I guess, you mean "not all parties were happy..."? (Please note: this i

That's confusing. We know from the reporting that some parties were happy with the bid. I guess, you mean "not all parties were happy..."? (Please note: this is not a case of ∀x ∈ X ¬P(x) ≣ ¬∀x ∈ X P(x). ∀x ∈ X ¬P(x) means "for all x not-P", while ¬∀x ∈ X P(x) reads "there exists no x that P", i.e. there is no party that is happy with the bid, which is either a false statement or not the intended meaning. This is actually a common, but not well-known mistake, so I'm pointing it out.) EDIT: I even found a reference: https://en.wikipedia.org/wiki/Existential_quantification https://en.wikipedia.org/wiki/Existential_quantification