I mean people will price things in sats or denominations of multiples of sats, which may be jargon that we can't even think of yet. Suppose that is a problem. Changing the name sat to btc will only increase the problem. In addition to people having to face the problem of scale (today a sat is not worth a cent and it is necessary to invent expressions for multiples of sats, which would also be necessary for multiples of the new denomination, btc) they will still have to understand why the 21 million btc became 21 quadrillion. Só, basically, the solution is to add another layer into the problem.