hard-choice