When one verse clarifies another, an inferred missing expression may be written as original Qur’anic wording.

Exegetical Methods and Understanding Differences among Companions and Successors