tried to reverse the order theorem, no significant time improvements, corrected spell errors