Some problems are unsolvable.