Universal First-Order Logic is Superfluous for NL, P, NP and coNP (Logical Methods in Computer Science, 2014)