DITRIMAG
0 + - <= 0 =>
<< >>