Clean up debug code, insert skeleton for introductory exposition.