Universal first-order logic is superfluous in the second level of the polynomial-time hierarchy