There should be a fix to the bug where a tie in library prestige results
only shows for one of the winners, and a similar one for theater where
no one would get the bonus if there was a tie.

Penned by My hand on the 24th of Estar, in the year 182 CE.