Replace HasNotBid with InvertedPrecondition(HasBid)