 
<prompt> Context: 'Washington, D.C., formally the District of Columbia and commonly referred to as ``Washington'', ``the District'', or simply ``D.C.'', is the capital of the United States.'
 Question: is district of columbia the same as washington dc <response>: True  