···600600601601La complexité de l'expression, et la présence d'un $min$ au lieu de simplement un $op("clip")$ est dûe au fait que l'avantage $A_(cal(P)', R) (s, a)$ peut être négatif:
602602603603-/ Si l'avantage est positif:
604604-#diagram(
603603+/ Si l'avantage est positif: #fletcher.diagram(
604604+ height: 1em,
605605 edge((-5, 0), "->", (5, 0)),
606606 edge((-5, 0.25), "-", (-5, -0.25), label-side: left)[$0$]
607607)