Pre-Lie Algebras in Positive Characteristic | Synapse