Deakstadieđáhus: High-Frequency trading and probability