What problem is unsolvable, what problem is uninteresting, look between those
normalize between unsolvable and uninteresting
mit/thesis