philh comments on Pascal’s Mugging Solved