4 (in)
6 (out)
2 (in)
3 (out)
5 (in)
1 (out)
J4a
J4b
J2
J3
J1
J6
J5
monotonic justification
nonmonotonic justification