Mark_Friedenbach comments on Infinite Certainty