Progress

I have now completed a full review of two more papers. At the same time, my logic course is taking shape, and I hope to release it in the next couple of days.