MrHen comments on No Universal Probability Space