True enough, but that distinction represents a can of worms that I don't really want to open here. Point is, you don't need that sort of utilitarian sleight of hand to get Pascal's mugging to work -- the vulnerability it exploits lies elsewhere, probably in the way Solomonoff-based decision theory bounds its expectations.