Collaborations between John Justin and Morton Selten