Assertion: auction's value | /r/HasAspect | further consequence
Facets:
Source sentences:
text: This simplification removes the requirement that the winner pays the successful bid value, so the game is simply to select the lowest unique positive integer, with the value of that integer having no further consequence.