NORMALBET (normalbet)