Stav dette: High-Frequency trading and probability