Why is bihā explained through minhā in the drinking verse?

Bayān al-Ibdāl: Verbs, Nouns, Particles and Sentence-Level Meaning

• Because the verb “drink” and the spring imply a source
• Because bāʾ always means min
• Because ʿibād Allāh is omitted
• Because the verse concerns ablution