More reductions to prove that additional problems are undecidable.