Collaborations between John McCarthy and David Atrakchi