How do the constructions lā yakūnu illā mā yurīdu and lā mashīʾata lil-ʿibād illā mā shāʾa lahum compare?

Language of Creed: Negation, Restriction and Implication

• Both use negation and exception: the first concerns events, the second human willing
• Both are mere prohibitions with no reference to will
• The first concerns prophethood; the second karāmah
• Both prove that sin is religiously approved