Synthetic probability theory, and Markov categories. Probabilistic programming, and syntax. Causality, causal reasoning and interventions.