Text this: Universal First-Order Logic is Superfluous for NL, P, NP and coNP