Denials of body, substance, shape, direction and location may overlap logically. The variety is nevertheless deliberate: different schools reach corporeal conclusions by different terms, so eliminating one formulation does not necessarily eliminate another.
فلم يبال بتكرير الألفاظ المترادفة والتصريح بما علم بطريق الالتزام
Thus, repeating near-synonymous terms and explicitly stating what follows by implication was not avoided.
An explicit negation can prevent a hidden implication from being reintroduced under another label. Denying body may imply denying composition, yet spelling out the latter has genuine argumentative force.