20. L and NL, NL = coNL