وَاجِبُ الْوُجُودِ مَوْجُودٌ
The Necessary Existent exists.
This may initially look circular, because existence appears in the expression “Necessary Existent.” Yet understanding a concept and establishing the reality to which it refers are distinct matters.
The predicate can make an intended affirmation explicit and invite examination of its grounds. The wording itself, however, is not a substitute for a proof of the reality claimed.
A predicate already connected with a subject's conceptual content can therefore have a legitimate explanatory or emphatic role.