added back in eq_decs, proved nodes imply nonempty strands, started on min mem