Undecidable Problems: Reducibility (Part 2) | A Sample Reduction