hmm.. why must we special case `problem` here?