<p>Double-penny is, of course, correct. But just to clarify: both argument you described are wrong.</p>