0 / 60 seg.

Two examples: " a div_2 b a < csub n b +_2 h " and " a toward csub f b x toward csup f y. "