A1987dM comments on Pascal’s Muggle (short version)

[A1987dM]

I would have posted the short version to Main and the long version to Discussion.