John Erickson’s Mathematica notebook