In the framework of a Diamond-Dybvig-Peck-Shell banking model, in which a broad class of feasible contractual arrangements is allowed and which admits a run equilibrium, we stress the assumption that depositors are uncertain of their position in the queue when expecting a run. The formalization...