As you may have noticed, above you will find words for "With a constraining assumption that, however, makes it clear how to apply the proof performed under this assumption to the general case unconstrained by the assumption.". Hover the mouse over the word you'd like to know more about to view its definition. Click to find a better fitting word. Finally, thanks to ChatGPT, the overall results have been greatly improved.