Work w/ Jay on reverse lists - possible new direction

Detailed description of this effort (to try and resolve the
complications in the supporting lemmas for the minimal node theorem)
and the current thoughts/conclusions found at the bottom of file.