prayogaḥ yatra hi yat kāraṇaṃ nāsti tattatra na bhavati, yathā{pa} yasyavidyamānakāraṇo dhūmaḥ /
The formal argument [is]: wherever a cause does not exist, its [effect] does not exist there, just as smoke [does not exist] where its cause [fire] is not present.