Collaborations between George Devine and John Arnold