Thaler and Sunstein's framework for nudge design: guiding people toward welfare-improving choices while preserving their formal freedom to choose otherwise.