TODO
well-defined outcome of a combinatorial auction additionally needs to assume admissible input
admissible input also requires non-empty goods and participants