prayogaḥ ye niyatapadārthasannidhāne sati niyatajanmānas te sahetukaḥ /
[Here is] the formal argument: Those things whose production is restricted to occasions when certain specific things are present must be regarded as having causes