John Andrews: Irreducible Calculations