Isaiah's Ariel, Lion of God, Is a Little Bit of Sarcasm

Another name a you might not have recognized, because the only place it is used is in chapter 29. It says, ho ariel, ariel, the city where david encamped. And we think, what's the hek or ariel? Not sure. So ariel or ariel, that name means lion of god. Isaiah calling jerusalem ar or lion of god, is a little bit of sarcasm, we think. This is one of those times where the words of the prophets can like, al my gosh, what the heck? Where he as things like does he who ploughs for sowing plough continually?