A small improvement (or a bug) #13
Description
on the bottom-right branch (7-12-13)
the first one should not be correct, and the second one is the correct one.
this is probably just a small mistake of ">=" instead of a ">".
because we know that if the minimizer would pick this option, it must be lower than 7 - which means 6.
and we already got a 6 for the maximizer on the second row.