فَإِنَّ مَعَ الْعُسْرِ يُسْرًا
For surely, with hardship comes ease.
Ash-Sharḥ 94:5 begins with fa, linking the statement to the preceding discourse, and inna, adding emphasis. Maʿa expresses accompaniment, not an explicit promise that ease starts only once difficulty has ended.
Rhetorical force depends on grammatical function: fa provides discourse linkage and inna confirmation. They should not be treated as interchangeable ornaments.