An expanded version of my talk "Strict Reverse Mathematics" given at the recent Atlanta meeting (session on RM) is posted on www.math.ohio-state.edu/~friedman/ under downloadable manuscripts, item 45. I hope you find some interesting new research directions there. Harvey Friedman