Collaborations between John Holland and Jack Bernhard