thin.marginal-martingale-too-weak → thin.marginal-martingale-too-weak