Example 3.
Mavromatis’s (2019) figure 3, modeling formula-to-formula probabilities