Conjecture (in Linear Programming): The sequence of the very first non-zero values assigned to the “entering” non-basic variables is monotone-decreasing. Note that this conjecture does not say anything about the subsequent values assigned to those variables after they cease to be “the entering one”.