Symbol: pr_minimize