pimento allows empty options, which can't be matched

[toejough]

menu([''])

prompts for a choice of one empty option, which can never be matched.