Verse 9

स्वप्नो विकल्पाः

In plain words

Dream is .

The commentators

Śivasūtra with Kṣemarāja's Vimarśinī

स्वप्नो विकल्पाः ॥ ९ ॥

In plain words

Dream is thought-constructs.

On this passage

Sūtras 8, 9 and 10 are explained together; the explanation follows sūtra 10.