Implied simplifications.
Additional simplifications.
One additional reduction.