How is Cryo different from Pascal's Mugging? — LessWrong