The ‘reality of the situation’ is we’re what 10 games into a season & bar a historic upturn in performance we aren’t even getting Top4. Performances with Varane [more often injured than not] & Casemiro [looking increasingly less durable & usually banned] aren’t stark enough that keeping them would change our fortunes much.
Varane & Casemiro aren’t saving this season, if there was an opportunity to move them on for money you take it. It also isn’t illegal to actually sign decent players in January as replacements, you know like well run clubs do.
I’m not sure why you mention Lindelof & Amrabat as I’d prefer none of the 4 be here next year.
I generally agree you get rid of your worst players first, the context of Varane, Casemiro, their decline & the season we’re having have to be taken into account though.