Find!
x1=g1 minimizes x2=t1=m1 in property x3=t2=m3 towards extreme x4=t3 among x5=t4=m2 by amount x6=m4.