[Systeme] Make sure of correctness of the decision