Tag: internal choice rule