Strilanc comments on What do you mean by Pascal’s mugging?