New abstract and SPFproofs-log file has new paper outline.
Made some more progress on the LCPC draft.  New organization is in latex file now.