jsteinhardt comments on Pascal’s Mugging for bounded utility functions