A formal model of choice overload · Study