now speaking of "valid" instead of "admissible" input
convenience predicate for soundness of a combinatorial auction
redefined well-defined allocation in a more natural way