<div dir="ltr"><div>Hi Didier</div><div><br></div><div>Thank you for your attention to detail. You ask a good question.</div><div><br></div><div>Exercise 14.12 of The TeXBook  gives an example of a demerits calculation for the first line (of story.tex at \hsize 2.5in and \tolerance 1000).</div><div><br></div><div>Reading the solution, it seems clear to me that Don Knuth was aware of this behaviour.</div><div><br></div><div>The K-P algorithm will indeed "favor paragraph solutions for which the<br>first line is as close to natural spacing as possible", but only when all other things are equal.</div><div><br></div><div>For those that don't already know, the K-P algorithm uses dynamic programming, so no decision regarding the first line until the end of the paragraph. This allows TeX to typeset paragraphs as well as reasonably possible, even if the \parfillskip at the end is zero.</div><div><br></div><div>Here's an article on <a href="https://en.wikipedia.org/wiki/Dynamic_programming">https://en.wikipedia.org/wiki/Dynamic_programming</a>.</div><div><br></div><div>I hope this helps you. I think there's more to be said, before all becomes clear.<br></div><div><br></div><div>best regards</div><div><br></div><div>Jonathan<br></div><div><br></div><div><br></div></div>