Title: Problem Simplification