“…Note that thanks to (9), (10) is a weaker assumption than (5) as it is implied by the latter. The affirmative answer to this conjecture was established in [2], [7] and later refined in many follow-up papers, including [1], [3], [9], [13], [16], [17], [19], [27], [28], [30]. Roughly speaking, most of the aforementioned improvements of (5) [31] it is shown that u is smooth as long as…”