Kingdom come

The sermon today was on Luke 11:1-13, which begins with a shorter version of the Lord's Prayer and ends with "If you then, being evil, know how to give good gifts to your children, how much more will your heavenly Father give the Holy Spirit to those who ask Him?"

One obvious question is "Where in the Lord's Prayer does one ask for the gift of the Holy Spirit?"

I wonder if it comes from basileia: "bas-il-i'-ah; from G935; properly, royalty, i.e. (abstractly) rule, or (concretely) a realm (literally or figuratively):—kingdom, + reign." If the word means kingship, and the invitation is implicitly for that to come beginning with us, then perhaps that part of the request is for God's kingship to be in us. If so, thanks to God's simplicity, that's a request for God to be in us.

Yes, I know Matthew has something a bit different.