universalIdeal(..., Vars => {P, Q, R, S})
universalIdeal(..., Vars => {a_0..a_12})
universalIdeal(..., Vars => vars(-10..-3))