Translate
probability and induction.