Simplify the Exprs in goals
Group common inequalities together

  Inequalities like (a >= 10, a >= 20) will be grouped together, and turned into
(a >= 20).
Derive Eq and Show for Prop