L and NL, NL = coNL