Title: High-Frequency Trading and Probability Theory