More changes to minimizing theta theorem.