Collaborations between Todd E. Miller and Thomas Mitchell