I have some expertise in philosophy, logic, history of science, and Pascal (not too high a level and mostly with TML). I will be glad to answer any questions on any of these areas.