distinguish between intractable and unsolvable.