Collaborations between John Kemeny and Dick Miller