Quine in dc(1)