Hot: choicepoints