You're right on all points. I'm not sure why you're downvoted.

Kimmich is one of the few players Bayern would never want to sell. He's not great as a 6, which is why we're gonna go hunting for a true one during the winter transfer window.

Also, Araujo would be going to Bayern as a 3-4th choice CB, behind Kim, Upa and De Ligt. I don't think that tempts him too much, nor do I think Bayern are willing to pay what Barca would demand.