Text this: High-Frequency trading and probability