/* forall [x] (x) */
QBF
2
q
a 2
d
2

/d
/q

