rename check_elementOf to check_choice