The reasoning of this unit proceeds in stages: the Prophet's excellence is established by authoritative texts and careful inference; angelic worship and obedience are understood from explicit Qur'anic descriptions; and the difficult cases of Iblis and Harut and Marut are examined without setting speculative stories against those general texts.
For Iblis, revelation clearly identifies his jinn nature, so his refusal is not a decisive counterexample to the protection of angels. For Harut and Marut, one must separate the Qur'anic account from unsupported embellishments.
The governing principles are strength of evidence, precision of language, and authenticity of reports. They allow both doctrinal statements and objections to be judged fairly.