TeX source:
min(0.7 + 0.25 + 1.0) = 0.25 > 25/100