1boolean choice
2  1. choice 0 (BOOL_CHOICE0) (NEW)
3> 2. choice 1 (BOOL_CHOICE1) (NEW)
4choice[1-2?]: